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/iclp/MascellaniP94
%A Mascellani, Paolo
%A Pedreschi, Dino
%B ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
%D 1994
%E de Boer, Frank S.
%E Gabbrielli, Maurizio
%K dblp
%T Total correctness of logic and pure Prolog programs.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#MascellaniP94
@inproceedings{conf/iclp/MascellaniP94,
added-at = {2013-12-02T00:00:00.000+0100},
author = {Mascellani, Paolo and Pedreschi, Dino},
biburl = {https://www.bibsonomy.org/bibtex/2840b886cd8b1f242a31012817bd7b78a/dblp},
booktitle = {ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages},
crossref = {conf/iclp/1994w2},
editor = {de Boer, Frank S. and Gabbrielli, Maurizio},
interhash = {ee363dd9d79d8c75f22204147f01a617},
intrahash = {840b886cd8b1f242a31012817bd7b78a},
keywords = {dblp},
timestamp = {2013-12-03T11:35:24.000+0100},
title = {Total correctness of logic and pure Prolog programs.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#MascellaniP94},
year = 1994
}