%0 Journal Article %1 journals/iandc/KimuraTS00 %A Kimura, Shigetomo %A Togashi, Atsushi %A Shiratori, Norio %D 2000 %J Inf. Comput. %K dblp %N 2 %P 257-284 %T Inductive Synthesis of Recursive Processes from Logical Properties. %U http://dblp.uni-trier.de/db/journals/iandc/iandc163.html#KimuraTS00 %V 163

@article{journals/iandc/KimuraTS00, added-at = {2021-02-12T00:00:00.000+0100}, author = {Kimura, Shigetomo and Togashi, Atsushi and Shiratori, Norio}, biburl = {https://www.bibsonomy.org/bibtex/28ed26d271156b4ae67bf7d27340368da/dblp}, ee = {https://doi.org/10.1006/inco.2000.2883}, interhash = {6fb7e41b2910699e1398c9f3c78b1f77}, intrahash = {8ed26d271156b4ae67bf7d27340368da}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {257-284}, timestamp = {2024-04-09T06:08:04.000+0200}, title = {Inductive Synthesis of Recursive Processes from Logical Properties.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc163.html#KimuraTS00}, volume = 163, year = 2000 }