Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Characterisations of Termination in Logic Programming
You are here
Home
Title
Characterisations of Termination in Logic Programming
Publication Type
Conference Paper
Year of Publication
2004
Authors
Pedreschi, D
,
Ruggieri, S
,
Smaus, J-G
Conference Name
Program Development in Computational Logic
Taxonomy upgrade extras:
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab