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]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
R
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
P
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
C
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
Copyright © 2014 - KDD Lab