%0 Journal Article %1 journals/tcs/LuX93 %A Lu, Jianguo %A Xu, Jiafu %D 1993 %J Theor. Comput. Sci. %K dblp %N 2 %P 259-272 %T Analogical Program Derivation Based on Type Theory. %U http://dblp.uni-trier.de/db/journals/tcs/tcs113.html#LuX93 %V 113

@article{journals/tcs/LuX93, added-at = {2021-02-17T00:00:00.000+0100}, author = {Lu, Jianguo and Xu, Jiafu}, biburl = {https://www.bibsonomy.org/bibtex/262729b781a904f8e90ebdf378da5e8e3/dblp}, ee = {https://doi.org/10.1016/0304-3975(93)90004-D}, interhash = {3158842acec67a9d91437cafe0df90b8}, intrahash = {62729b781a904f8e90ebdf378da5e8e3}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {259-272}, timestamp = {2024-04-08T18:35:54.000+0200}, title = {Analogical Program Derivation Based on Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs113.html#LuX93}, volume = 113, year = 1993 }