The program inverter LRinv and its structure

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages. Proceedings
EditorsManuel Hermenegildo, Daniel Cabeza
PublisherSpringer Verlag
Publication date2005
Pages219-234
DOIs
Publication statusPublished - 2005
SeriesLecture notes in computer science
Volume3350
ISSN0302-9743

ID: 14746