%0 Conference Paper %1 conf/ershov/AkamaNK06 %A Akama, Kiyoshi %A Nantajeewarawat, Ekawit %A Koike, Hidekatsu %B Ershov Memorial Conference %D 2006 %E Virbitskaite, Irina B. %E Voronkov, Andrei %I Springer %K dblp %P 41-54 %T Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2006.html#AkamaNK06 %V 4378 %@ 978-3-540-70880-3

@inproceedings{conf/ershov/AkamaNK06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Akama, Kiyoshi and Nantajeewarawat, Ekawit and Koike, Hidekatsu}, biburl = {https://www.bibsonomy.org/bibtex/2b7dcc464e554d5d06cb2ea0a67b236aa/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2006}, editor = {Virbitskaite, Irina B. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-70881-0_7}, interhash = {4f22b763e623a655d87d0c6ca97d062b}, intrahash = {b7dcc464e554d5d06cb2ea0a67b236aa}, isbn = {978-3-540-70880-3}, keywords = {dblp}, pages = {41-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-17T11:40:47.000+0100}, title = {Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2006.html#AkamaNK06}, volume = 4378, year = 2006 }