Classes of Terminating Logic Programs

You are here

TitleClasses of Terminating Logic Programs
Publication TypeJournal Article
Year of Publication2001
AuthorsPedreschi, D, Ruggieri, S, Smaus, J-G
JournalCoRR
Volumecs.LO/0106
Taxonomy upgrade extras: