Building Decision Procedures in the Calculus of Inductive Constructions

Building Decision Procedures in the Calculus of Inductive Constructions. Blanqui, F., Jouannaud, J., & Strub, P. In Duparc, J. & Henzinger, T. A., editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, volume 4646, of Lecture Notes in Computer Science, pages 328–342, 2007. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/csl/BlanquiJS07,
  author = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Jean{-}Pierre Jouannaud and Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/csl/BlanquiJS07.bib},
  booktitle = {Computer Science Logic, 21st International Workshop,
{CSL} 2007, 16th Annual Conference of the EACSL,
Lausanne, Switzerland, September 11-15, 2007,
Proceedings},
  doi = {10.1007/978-3-540-74915-8\_26},
  editor = {Jacques Duparc and Thomas A. Henzinger},
  isbn = {978-3-540-74914-1},
  pages = {328--342},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
  title = {Building Decision Procedures in the Calculus of
Inductive Constructions},
  url = {https://doi.org/10.1007/978-3-540-74915-8\_26},
  volume = {4646},
  year = {2007}
}

Downloads: 0