%0 Conference Paper %1 conf/mpc/KozenT08 %A Kozen, Dexter %A Tseng, Wei-Lung Dustin %B MPC %D 2008 %E Audebaud, Philippe %E Paulin-Mohring, Christine %I Springer %K dblp %P 177-192 %T The Böhm-Jacopini Theorem Is False, Propositionally. %U http://dblp.uni-trier.de/db/conf/mpc/mpc2008.html#KozenT08 %V 5133 %@ 978-3-540-70593-2

@inproceedings{conf/mpc/KozenT08, added-at = {2018-11-14T00:00:00.000+0100}, author = {Kozen, Dexter and Tseng, Wei-Lung Dustin}, biburl = {https://www.bibsonomy.org/bibtex/266d32765efe5b9c4e4132753c73a1aea/dblp}, booktitle = {MPC}, crossref = {conf/mpc/2008}, editor = {Audebaud, Philippe and Paulin-Mohring, Christine}, ee = {https://www.wikidata.org/entity/Q55880202}, interhash = {afd9c9e16d6bd73f62c50e92c0336b1a}, intrahash = {66d32765efe5b9c4e4132753c73a1aea}, isbn = {978-3-540-70593-2}, keywords = {dblp}, pages = {177-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:30.000+0200}, title = {The Böhm-Jacopini Theorem Is False, Propositionally.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc2008.html#KozenT08}, volume = 5133, year = 2008 }