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:
Author
is
Krzysztof R. Apt
[Clear All Filters]
Journal Article
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
K. R. Apt
,
Gabbrielli, M.
, and
Pedreschi, D.
,
“
A Closer Look at Declarative Interpretations
”
,
J. Log. Program.
, vol. 28, pp. 147-180, 1996.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Conference Paper
K. R. Apt
and
Pedreschi, D.
,
“
Proving Termination of General Prolog Programs
”
, in
TACS
, 1991, pp. 265-289.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab