K. Apt, and A. Pellegrini. PLILP, volume 631 of Lecture Notes in Computer Science, page 69-86. Springer, (1992)long version: TOPLAS 16(3): 687-726 (1994).
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/plilp/AptP92
%A Apt, Krzysztof R.
%A Pellegrini, Alessandro
%B PLILP
%D 1992
%E Bruynooghe, Maurice
%E Wirsing, Martin
%I Springer
%K dblp
%P 69-86
%T Why the Occur-Check is Not a Problem.
%U http://dblp.uni-trier.de/db/conf/plilp/plilp92.html#AptP92
%V 631
%@ 3-540-55844-6
@inproceedings{conf/plilp/AptP92,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Apt, Krzysztof R. and Pellegrini, Alessandro},
biburl = {https://www.bibsonomy.org/bibtex/29802055671bd740ea094cdf0ccf0f78a/dblp},
booktitle = {PLILP},
crossref = {conf/plilp/1992},
editor = {Bruynooghe, Maurice and Wirsing, Martin},
ee = {https://doi.org/10.1007/3-540-55844-6_128},
interhash = {2bad958c20d611cbbf584f59e46c6306},
intrahash = {9802055671bd740ea094cdf0ccf0f78a},
isbn = {3-540-55844-6},
keywords = {dblp},
note = {long version: TOPLAS 16(3): 687-726 (1994)},
pages = {69-86},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:14:28.000+0200},
title = {Why the Occur-Check is Not a Problem.},
url = {http://dblp.uni-trier.de/db/conf/plilp/plilp92.html#AptP92},
volume = 631,
year = 1992
}
