Characterisations of Termination in Logic Programming

You are here

TitleCharacterisations of Termination in Logic Programming
Publication TypeConference Paper
Year of Publication2004
AuthorsPedreschi, D, Ruggieri, S, Smaus, J-G
Conference NameProgram Development in Computational Logic
Taxonomy upgrade extras: