%0 Conference Paper %1 conf/tphol/AndersenP91 %A Andersen, Flemming %A Petersen, Kim Dam %B TPHOLs %D 1991 %E Archer, Myla %E Joyce, Jeffrey J. %E Levitt, Karl N. %E Windley, Phillip J. %I IEEE Computer Society %K dblp %P 367-377 %T Recursive Boolean Functions in HOL. %U http://dblp.uni-trier.de/db/conf/tphol/tphol1991.html#AndersenP91

@inproceedings{conf/tphol/AndersenP91, added-at = {2002-01-03T00:00:00.000+0100}, author = {Andersen, Flemming and Petersen, Kim Dam}, biburl = {https://www.bibsonomy.org/bibtex/22f40d59670cd51a824a8d241a2df8ad5/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1991}, date = {2002-01-03}, description = {dblp}, editor = {Archer, Myla and Joyce, Jeffrey J. and Levitt, Karl N. and Windley, Phillip J.}, interhash = {08e4100596029b0a5c082a6dd12258ef}, intrahash = {2f40d59670cd51a824a8d241a2df8ad5}, keywords = {dblp}, pages = {367-377}, publisher = {IEEE Computer Society}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Recursive Boolean Functions in HOL.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol1991.html#AndersenP91}, year = 1991 }