%0 Journal Article %1 journals/tcs/MurawskiW08 %A Murawski, Andrzej S. %A Walukiewicz, Igor %D 2008 %J Theor. Comput. Sci. %K dblp %N 2-3 %P 214-229 %T Third-order Idealized Algol with iteration is decidable. %U http://dblp.uni-trier.de/db/journals/tcs/tcs390.html#MurawskiW08 %V 390

@article{journals/tcs/MurawskiW08, added-at = {2021-02-17T00:00:00.000+0100}, author = {Murawski, Andrzej S. and Walukiewicz, Igor}, biburl = {https://www.bibsonomy.org/bibtex/295bea82311df7008bf22b9d92605d605/dblp}, ee = {https://doi.org/10.1016/j.tcs.2007.09.022}, interhash = {5d298018f69ea2283a5bb1b1fa005dfd}, intrahash = {95bea82311df7008bf22b9d92605d605}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {2-3}, pages = {214-229}, timestamp = {2024-04-08T18:49:08.000+0200}, title = {Third-order Idealized Algol with iteration is decidable.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs390.html#MurawskiW08}, volume = 390, year = 2008 }