%0 Conference Paper %1 conf/fgcs/SatoT84 %A Sato, Taisuke %A Tamaki, Hisao %B FGCS %D 1984 %I OHMSHA Ltd. Tokyo and North-Holland %K dblp %P 195-201 %T Transformational Logic Program Synthesis. %U http://dblp.uni-trier.de/db/conf/fgcs/fgcs84.html#SatoT84 %@ 0-444-87673-1

@inproceedings{conf/fgcs/SatoT84, added-at = {2019-07-31T00:00:00.000+0200}, author = {Sato, Taisuke and Tamaki, Hisao}, biburl = {https://www.bibsonomy.org/bibtex/286579c839ee6a9b51e4b646b96269b8f/dblp}, booktitle = {FGCS}, crossref = {conf/fgcs/1984}, interhash = {7350444ff48dd4793f589e6ff5c9da92}, intrahash = {86579c839ee6a9b51e4b646b96269b8f}, isbn = {0-444-87673-1}, keywords = {dblp}, pages = {195-201}, publisher = {OHMSHA Ltd. Tokyo and North-Holland}, timestamp = {2019-08-01T11:36:30.000+0200}, title = {Transformational Logic Program Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/fgcs/fgcs84.html#SatoT84}, year = 1984 }