%0 Conference Paper %1 conf/fossacs/MurawskiW05 %A Murawski, Andrzej S. %A Walukiewicz, Igor %B FoSSaCS %D 2005 %E Sassone, Vladimiro %I Springer %K dblp %P 202-218 %T Third-Order Idealized Algol with Iteration Is Decidable. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2005.html#MurawskiW05 %V 3441 %@ 3-540-25388-2

@inproceedings{conf/fossacs/MurawskiW05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Murawski, Andrzej S. and Walukiewicz, Igor}, biburl = {https://www.bibsonomy.org/bibtex/23314aaba355c869ab53105d8bd0a2598/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2005}, editor = {Sassone, Vladimiro}, ee = {https://doi.org/10.1007/978-3-540-31982-5_13}, interhash = {600ba3a5d11a69ad42a3da3c7f03e7ab}, intrahash = {3314aaba355c869ab53105d8bd0a2598}, isbn = {3-540-25388-2}, keywords = {dblp}, pages = {202-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:06.000+0200}, title = {Third-Order Idealized Algol with Iteration Is Decidable.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2005.html#MurawskiW05}, volume = 3441, year = 2005 }