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
C
[Clear All Filters]
1995
D. Pedreschi
and
Ruggieri, S.
,
“
A Case Study in Logic Program Verification: the Vanilla Metainterpreter
”
, in
GULP-PRODE
, 1995, pp. 643-654.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1994
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation
”
, in
SEBD
, 1994, pp. 329-349.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1988
P. Mancarella
,
Martini, S.
, and
Pedreschi, D.
,
“
Complete Logic Programs with Domain-Closure Axiom
”
,
J. Log. Program.
, vol. 5, pp. 263-276, 1988.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
1
2
3
Copyright © 2014 - KDD Lab