Combining logic programs and monadic second order logics by program transformation
Capitolo di libro
Data di Pubblicazione:
2003
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Keywords:
Theoretical Computer Science; Computer Science (all)
Elenco autori:
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)