%0 Conference Paper %1 conf/ershov/AkamaKM01 %A Akama, Kiyoshi %A Koike, Hidekatsu %A Mabuchi, Hiroshi %B Ershov Memorial Conference %D 2001 %E Bjørner, Dines %E Broy, Manfred %E Zamulin, Alexandre V. %I Springer %K dblp %P 131-139 %T A Theoretical Foundation of Program Synthesis by Equivalent Transformation. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2001.html#AkamaKM01 %V 2244 %@ 3-540-43075-X

@inproceedings{conf/ershov/AkamaKM01, added-at = {2017-05-21T00:00:00.000+0200}, author = {Akama, Kiyoshi and Koike, Hidekatsu and Mabuchi, Hiroshi}, biburl = {https://www.bibsonomy.org/bibtex/25f9977c8b41e5aba412d7ee8c4fc9c22/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2001}, editor = {Bjørner, Dines and Broy, Manfred and Zamulin, Alexandre V.}, ee = {https://doi.org/10.1007/3-540-45575-2_14}, interhash = {caa82593e804d4a839448337836e7c51}, intrahash = {5f9977c8b41e5aba412d7ee8c4fc9c22}, isbn = {3-540-43075-X}, keywords = {dblp}, pages = {131-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:03:43.000+0200}, title = {A Theoretical Foundation of Program Synthesis by Equivalent Transformation.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2001.html#AkamaKM01}, volume = 2244, year = 2001 }