%0 Book Section %1 conf/tphol/Coquand06 %A Coquand, Thierry %B The Seventeen Provers of the World %D 2006 %E Wiedijk, Freek %I Springer %K dblp %P 50-54 %T Alfa/Agda. %U http://dblp.uni-trier.de/db/conf/tphol/lncs3600.html#Coquand06 %V 3600 %@ 3-540-30704-4

@incollection{conf/tphol/Coquand06, added-at = {2017-11-23T00:00:00.000+0100}, author = {Coquand, Thierry}, biburl = {https://www.bibsonomy.org/bibtex/283b37074afb6e784a5ccc32858daa859/dblp}, booktitle = {The Seventeen Provers of the World}, crossref = {conf/tphol/2006provers}, editor = {Wiedijk, Freek}, ee = {https://doi.org/10.1007/11542384_9}, interhash = {9ed0e9c74238d1bf3b43612b10acce6b}, intrahash = {83b37074afb6e784a5ccc32858daa859}, isbn = {3-540-30704-4}, keywords = {dblp}, pages = {50-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-12-07T22:31:43.000+0100}, title = {Alfa/Agda.}, url = {http://dblp.uni-trier.de/db/conf/tphol/lncs3600.html#Coquand06}, volume = 3600, year = 2006 }