%0 Journal Article %1 journals/tcs/OostdijkG02 %A Oostdijk, Martijn %A Geuvers, Herman %D 2002 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 293-314 %T Proof by computation in the Coq system. %U http://dblp.uni-trier.de/db/journals/tcs/tcs272.html#OostdijkG02 %V 272

@article{journals/tcs/OostdijkG02, added-at = {2021-02-17T00:00:00.000+0100}, author = {Oostdijk, Martijn and Geuvers, Herman}, biburl = {https://www.bibsonomy.org/bibtex/21d3f1cff19f0f5dd8e12f0a6cbbf9848/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00354-6}, interhash = {193afcaff7890bd7dfab545b5f3d144b}, intrahash = {1d3f1cff19f0f5dd8e12f0a6cbbf9848}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {293-314}, timestamp = {2024-04-08T18:40:54.000+0200}, title = {Proof by computation in the Coq system.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs272.html#OostdijkG02}, volume = 272, year = 2002 }