%0 Conference Paper %1 conf/birthday/CodishS02 %A Codish, Michael %A Søndergaard, Harald %B The Essence of Computation %D 2002 %E Mogensen, Torben Æ. %E Schmidt, David A. %E Sudborough, Ivan Hal %I Springer %K dblp %P 109-134 %T Meta-circular Abstract Interpretation in Prolog. %U http://dblp.uni-trier.de/db/conf/birthday/jones2002.html#CodishS02 %V 2566 %@ 3-540-00326-6

@inproceedings{conf/birthday/CodishS02, added-at = {2018-11-14T00:00:00.000+0100}, author = {Codish, Michael and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/20e57cbf8e29ef072c6a6f9820c098a90/dblp}, booktitle = {The Essence of Computation}, crossref = {conf/birthday/2002jones}, editor = {Mogensen, Torben Æ. and Schmidt, David A. and Sudborough, Ivan Hal}, ee = {https://www.wikidata.org/entity/Q57665025}, interhash = {fd2e4e324865e9c2281e93d435edfff9}, intrahash = {0e57cbf8e29ef072c6a6f9820c098a90}, isbn = {3-540-00326-6}, keywords = {dblp}, pages = {109-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:11.000+0200}, title = {Meta-circular Abstract Interpretation in Prolog.}, url = {http://dblp.uni-trier.de/db/conf/birthday/jones2002.html#CodishS02}, volume = 2566, year = 2002 }