Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems

20 February 2009

Papers citing "Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems"

3 / 3 papers shown

Title
Automation of Mathematical Induction as part of the History of Logic J. Strother Claus-Peter Wirth AI4CE 112 14 0 24 Sep 2013
A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie Claus-Peter Wirth LRM 107 6 0 20 Feb 2009
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? Claus-Peter Wirth 92 4 0 17 Feb 2009