%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 }