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]
Conference Paper
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