%0 Book Section %1 books/el/beierleP95/BorgerR95 %A Börger, Egon %A Rosenzweig, Dean %B Logic Programming: Formal Methods and Practical Applications %D 1995 %E Beierle, Christoph %E Plümer, Lutz %I Elsevier Science B.V./North-Holland %K dblp %P 20-90 %T The WAM - Definition and Compiler Correctness. %U http://dblp.uni-trier.de/db/books/collections/BeierleP95.html#BorgerR95 %@ 0-444-82092-2

@incollection{books/el/beierleP95/BorgerR95, added-at = {2019-08-05T00:00:00.000+0200}, author = {Börger, Egon and Rosenzweig, Dean}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21b932101c95ba7fcd36bda96c4e95ee8/dblp}, booktitle = {Logic Programming: Formal Methods and Practical Applications}, crossref = {books/el/beierleP95/BP1995}, editor = {Beierle, Christoph and Plümer, Lutz}, interhash = {68986ce7a82a8d600f266316592d2c9f}, intrahash = {1b932101c95ba7fcd36bda96c4e95ee8}, isbn = {0-444-82092-2}, keywords = {dblp}, pages = {20-90}, publisher = {Elsevier Science B.V./North-Holland}, timestamp = {2019-09-27T12:22:16.000+0200}, title = {The WAM - Definition and Compiler Correctness.}, url = {http://dblp.uni-trier.de/db/books/collections/BeierleP95.html#BorgerR95}, year = 1995 }