References in zbMATH (referenced in 22 articles )

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

1 2 next

  1. Echenim, M.; Peltier, N.: Combining induction and saturation-based theorem proving (2020)
  2. Stratulat, Sorin: Mechanically certifying formula-based Noetherian induction reasoning (2017)
  3. Kersani, Abdelkader; Peltier, Nicolas: Completeness and decidability results for first-order clauses with indices (2013)
  4. Kersani, Abdelkader; Peltier, Nicolas: Combining superposition and induction: a practical realization (2013)
  5. Kirchner, Claude; Kirchner, Hélène; Nahon, Fabrice: Narrowing based inductive proof search (2013)
  6. Aravantinos, V.; Caferra, R.; Peltier, N.: Decidability and undecidability results for propositional schemata (2011)
  7. Fuhs, Carsten; Giesl, Jürgen; Parting, Michael; Schneider-Kamp, Peter; Swiderski, Stephan: Proving termination by dependency pairs and inductive theorem proving (2011)
  8. Bensaid, Hicham; Caferra, Ricardo; Peltier, Nicolas: Perfect discrimination graphs: indexing terms with integer exponents (2010)
  9. Aravantinos, Vincent; Caferra, Ricardo; Peltier, Nicolas: A schemata calculus for propositional logic (2009)
  10. Nahon, Fabrice; Kirchner, Claude; Kirchner, Hélène; Brauner, Paul: Inductive proof search modulo (2009)
  11. Swiderski, Stephan; Parting, Michael; Giesl, Jürgen; Fuhs, Carsten; Schneider-Kamp, Peter: Termination analysis by dependency pairs and inductive theorem proving (2009)
  12. Bensaid, Hicham; Caferra, Ricardo; Peltier, Nicolas: Towards systematic analysis of theorem provers search spaces: First steps (2007)
  13. Gramlich, Bernhard: Strategic issues, problems and challenges in inductive theorem proving (2005)
  14. Ponsini, Olivier; Fédéle, Carine; Kounalis, Emmanuel: Rewriting of imperative programs into logical equations (2005)
  15. Barthe, Gilles; Stratulat, Sorin: Validation of the JavaCard platform with implicit induction techniques (2003)
  16. Deplagne, Eric; Kirchner, Claude; Kirchner, Hélène; Nguyen, Quang Huy: Proof search and proof check for equational and inductive theorems. (2003)
  17. Stratulat, Sorin: A general framework to build contextual cover set induction provers (2001)
  18. Walther, Christoph; Kolbe, Thomas: On terminating lemma speculations. (2000)
  19. Walther, C.; Kolbe, T.: Proving theorems by reuse (2000)
  20. Kolbe, Thomas; Walther, Christoph: Termination of theorem proving by reuse (1996)

1 2 next