Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/agp/PedreschiR95
%A Pedreschi, Dino
%A Ruggieri, Salvatore
%B GULP-PRODE
%D 1995
%E Alpuente, María
%E Sessa, Maria I.
%K dblp
%P 643-654
%T A Case Study in Logic Program Verification: the Vanilla Metainterpreter.
%U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#PedreschiR95
@inproceedings{conf/agp/PedreschiR95,
added-at = {2004-11-29T00:00:00.000+0100},
author = {Pedreschi, Dino and Ruggieri, Salvatore},
biburl = {https://www.bibsonomy.org/bibtex/2e87846dda0a1995ace18d9e6f51919ce/dblp},
booktitle = {GULP-PRODE},
crossref = {conf/agp/1995},
date = {2004-11-29},
description = {dblp},
editor = {Alpuente, María and Sessa, Maria I.},
interhash = {e8b4a69de3ff7d946393f5ec047542df},
intrahash = {e87846dda0a1995ace18d9e6f51919ce},
keywords = {dblp},
pages = {643-654},
timestamp = {2004-11-29T00:00:00.000+0100},
title = {A Case Study in Logic Program Verification: the Vanilla Metainterpreter.},
url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#PedreschiR95},
year = 1995
}