141 search results - page 1 / 29 » A Structural Induction Theorem for Processes |
PODC
1989
ACM
13 years 9 months ago
1989
ACM
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
JLP
2007
13 years 5 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...