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
Paolo Mascellani
[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
M
P. Mascellani
and
Pedreschi, D.
,
“
Proving termination of Prolog programs
”
, in
GULP-PRODE (1)
, 1994, pp. 46-61.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mascellani
and
Pedreschi, D.
,
“
The Declarative Side of Magic
”
, in
Computational Logic: Logic Programming and Beyond
, 2002, pp. 83-108.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab