Paper: True Relative Completeness of an Axiom System for the Language L4 (Abridged) (at LICS 1986)
Authors: Steven M. German Edmund M. Clarke Joseph Y. HalpernAbstract
No Abstract Available
BibTeX
@InProceedings{GermanClarkeHalpern-TrueRelativeComplet, author = {Steven M. German and Edmund M. Clarke and Joseph Y. Halpern}, title = {True Relative Completeness of an Axiom System for the Language L4 (Abridged)}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {11--25}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }