%0 Conference Paper %1 conf/tphol/Voort92 %A van der Voort, Mark %B TPHOLs %D 1992 %E Claesen, Luc J. M. %E Gordon, Michael J. C. %I North-Holland/Elsevier %K dblp %P 117-131 %T Introducing well-founded function definitions in HOL. %U http://dblp.uni-trier.de/db/conf/tphol/tphol92.html#Voort92 %V A-20 %@ 0-444-89880-8

@inproceedings{conf/tphol/Voort92, added-at = {2002-01-03T00:00:00.000+0100}, author = {van der Voort, Mark}, biburl = {https://www.bibsonomy.org/bibtex/20ac6c6403d0a57b1a0d37e84f2f3c5a7/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1992}, date = {2002-01-03}, description = {dblp}, editor = {Claesen, Luc J. M. and Gordon, Michael J. C.}, interhash = {4764b4ae32466065d59380421cbaee7b}, intrahash = {0ac6c6403d0a57b1a0d37e84f2f3c5a7}, isbn = {0-444-89880-8}, keywords = {dblp}, pages = {117-131}, publisher = {North-Holland/Elsevier}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Introducing well-founded function definitions in HOL.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol92.html#Voort92}, volume = {A-20}, year = 1992 }