Building Decision Procedures in the Calculus of Inductive Constructions
From MaRDI portal
Publication:3608422
DOI10.1007/978-3-540-74915-8_26zbMath1179.68135arXiv0707.1266MaRDI QIDQ3608422
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0707.1266
Related Items
High-Level Theories, CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
Uses Software