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
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
Filters:
First Letter Of Title
is
R
and
Author
is
Krzysztof R. Apt
[Clear All Filters]
1993
K. R. Apt
and
Pedreschi, D.
,
“
Reasoning about Termination of Pure Prolog Programs
”
,
Inf. Comput.
, vol. 106, pp. 109-157, 1993.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab