%0 Conference Paper %1 conf/ifip2/Hayashi87 %A Hayashi, Susumu %B Formal Description of Programming Concepts %D 1987 %E Wirsing, Martin %I North-Holland %K dblp %P 399-424 %T PX: a system extracting programs from proofs. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1987.html#Hayashi87 %@ 0-444-70253-9

@inproceedings{conf/ifip2/Hayashi87, added-at = {2019-01-10T00:00:00.000+0100}, author = {Hayashi, Susumu}, biburl = {https://www.bibsonomy.org/bibtex/215fbf9421540fe3a006f624ee17e7245/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1987}, editor = {Wirsing, Martin}, interhash = {ae06349f3522f68a759b4f83553e93b9}, intrahash = {15fbf9421540fe3a006f624ee17e7245}, isbn = {0-444-70253-9}, keywords = {dblp}, pages = {399-424}, publisher = {North-Holland}, timestamp = {2019-01-11T11:38:46.000+0100}, title = {PX: a system extracting programs from proofs.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1987.html#Hayashi87}, year = 1987 }