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/csl/BorgerS90
%A Börger, Egon
%A Schmitt, Peter H.
%B CSL
%D 1990
%E Börger, Egon
%E Büning, Hans Kleine
%E Richter, Michael M.
%E Schönfeld, Wolfgang
%I Springer
%K dblp
%P 67-79
%T A Formal Operational Semantics for Languages of Type Prolog III.
%U http://dblp.uni-trier.de/db/conf/csl/csl90.html#BorgerS90
%V 533
%@ 0-387-54487-9
@inproceedings{conf/csl/BorgerS90,
added-at = {2017-05-20T00:00:00.000+0200},
author = {Börger, Egon and Schmitt, Peter H.},
biburl = {https://www.bibsonomy.org/bibtex/2c90d438a808a5619760406901801bb0b/dblp},
booktitle = {CSL},
crossref = {conf/csl/1990},
editor = {Börger, Egon and Büning, Hans Kleine and Richter, Michael M. and Schönfeld, Wolfgang},
ee = {https://doi.org/10.1007/3-540-54487-9_52},
interhash = {b83e15550aa59c48eac7ccb9d57a0a34},
intrahash = {c90d438a808a5619760406901801bb0b},
isbn = {0-387-54487-9},
keywords = {dblp},
pages = {67-79},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-07-24T01:10:26.000+0200},
title = {A Formal Operational Semantics for Languages of Type Prolog III.},
url = {http://dblp.uni-trier.de/db/conf/csl/csl90.html#BorgerS90},
volume = 533,
year = 1990
}
