%0 Journal Article %1 journals/jfrea/Beeson16 %A Beeson, Michael %D 2016 %J J. Formaliz. Reason. %K dblp %N 1 %P 71-99 %T Mixing Computations and Proofs. %U http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#Beeson16 %V 9

@article{journals/jfrea/Beeson16, added-at = {2020-09-24T00:00:00.000+0200}, author = {Beeson, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2528016aa24a494d428f6596bbc0144ea/dblp}, ee = {https://doi.org/10.6092/issn.1972-5787/4552}, interhash = {51f230e02f2009d10c793f986d42e3d3}, intrahash = {528016aa24a494d428f6596bbc0144ea}, journal = {J. Formaliz. Reason.}, keywords = {dblp}, number = 1, pages = {71-99}, timestamp = {2020-09-25T11:53:02.000+0200}, title = {Mixing Computations and Proofs.}, url = {http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#Beeson16}, volume = 9, year = 2016 }