490 citations
- Institut national de recherche en sciences et technologies du numériqueFR110 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR87 papers
- Centre National de la Recherche ScientifiqueFR55 papers
- Université de LorraineFR43 papers
- Institut Élie Cartan de LorraineFR35 papers
- Université de StrasbourgFR10 papers
- École PolytechniqueFR9 papers
- Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'ImagerieFR9 papers
- University of LuxembourgLU8 papers
- Institut de Recherche Mathématique AvancéeFR7 papers
- Centre de Mathématiques Appliquées de l'École polytechniqueFR5 papers
- Computer Algorithms for MedicineAT5 papers
Showing 2006Show all
2 papers · 1 filter
cs.LO2006★ 3 cited
Inductive types in the Calculus of Algebraic Constructions
Frédéric Blanqui
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), which is the basis of the proof assistant Coq, can be seen as a Calculus of Algebrai…
cs.AI2006★ 88 cited
New results on rewrite-based satisfiability procedures
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise +1
Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literal…