%0 Conference Paper %1 conf/types/CoquandP98 %A Coquand, Thierry %A Persson, Henrik %B TYPES %D 1998 %E Altenkirch, Thorsten %E Naraschewski, Wolfgang %E Reus, Bernhard %I Springer %K dblp %P 33-46 %T Gröbner Bases in Type Theory. %U http://dblp.uni-trier.de/db/conf/types/types98.html#CoquandP98 %V 1657 %@ 3-540-66537-4

@inproceedings{conf/types/CoquandP98, added-at = {2017-05-21T00:00:00.000+0200}, author = {Coquand, Thierry and Persson, Henrik}, biburl = {https://www.bibsonomy.org/bibtex/28aed1216c0c1eb2d2d11e3f198859907/dblp}, booktitle = {TYPES}, crossref = {conf/types/1998}, editor = {Altenkirch, Thorsten and Naraschewski, Wolfgang and Reus, Bernhard}, ee = {https://doi.org/10.1007/3-540-48167-2_3}, interhash = {a2ae91ad08730f3f4815734463c9367f}, intrahash = {8aed1216c0c1eb2d2d11e3f198859907}, isbn = {3-540-66537-4}, keywords = {dblp}, pages = {33-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:14:48.000+0200}, title = {Gröbner Bases in Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/types/types98.html#CoquandP98}, volume = 1657, year = 1998 }