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/lics/GermanCH86
%A German, Steven M.
%A Clarke, Edmund M.
%A Halpern, Joseph Y.
%B LICS
%D 1986
%I IEEE Computer Society
%K dblp
%P 11-25
%T True Relative Completeness of an Axiom System for the Language L4 (Abridged)
%U http://dblp.uni-trier.de/db/conf/lics/lics86.html#GermanCH86
%@ 0-8186-0720-3
@inproceedings{conf/lics/GermanCH86,
added-at = {2015-01-22T00:00:00.000+0100},
author = {German, Steven M. and Clarke, Edmund M. and Halpern, Joseph Y.},
biburl = {https://www.bibsonomy.org/bibtex/2ac613b609600ecc6be747fe7ff06bc22/dblp},
booktitle = {LICS},
crossref = {conf/lics/1986},
interhash = {9371d7a409e6ed65b1440057e6083156},
intrahash = {ac613b609600ecc6be747fe7ff06bc22},
isbn = {0-8186-0720-3},
keywords = {dblp},
pages = {11-25},
publisher = {IEEE Computer Society},
timestamp = {2015-06-20T03:11:52.000+0200},
title = {True Relative Completeness of an Axiom System for the Language L4 (Abridged)},
url = {http://dblp.uni-trier.de/db/conf/lics/lics86.html#GermanCH86},
year = 1986
}