References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Stratulat, Sorin: Mechanically certifying formula-based Noetherian induction reasoning (2017)
  2. Kersani, Abdelkader; Peltier, Nicolas: Combining superposition and induction: a practical realization (2013)
  3. Kersani, Abdelkader; Peltier, Nicolas: Completeness and decidability results for first-order clauses with indices (2013)
  4. Kirchner, Claude; Kirchner, Hélène; Nahon, Fabrice: Narrowing based inductive proof search (2013)
  5. Aravantinos, V.; Caferra, R.; Peltier, N.: Decidability and undecidability results for propositional schemata (2011)
  6. Bensaid, Hicham; Caferra, Ricardo; Peltier, Nicolas: Perfect discrimination graphs: indexing terms with integer exponents (2010)
  7. Aravantinos, Vincent; Caferra, Ricardo; Peltier, Nicolas: A schemata calculus for propositional logic (2009)
  8. Nahon, Fabrice; Kirchner, Claude; Kirchner, Hélène; Brauner, Paul: Inductive proof search modulo (2009)
  9. Bensaid, Hicham; Caferra, Ricardo; Peltier, Nicolas: Towards systematic analysis of theorem provers search spaces: First steps (2007)
  10. Gramlich, Bernhard: Strategic issues, problems and challenges in inductive theorem proving (2005)
  11. Ponsini, Olivier; Fédéle, Carine; Kounalis, Emmanuel: Rewriting of imperative programs into logical equations (2005)
  12. Barthe, Gilles; Stratulat, Sorin: Validation of the JavaCard platform with implicit induction techniques (2003)
  13. Deplagne, Eric; Kirchner, Claude; Kirchner, Hélène; Nguyen, Quang Huy: Proof search and proof check for equational and inductive theorems. (2003)
  14. Walther, Christoph; Kolbe, Thomas: On terminating lemma speculations. (2000)
  15. Walther, C.; Kolbe, T.: Proving theorems by reuse (2000)
  16. Bouhoula, Adel; Rusinowitch, Michaël: Implicit induction in conditional theories (1995)