BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
S.Schweitzer T.Kolbe S.Biundo B.Hummel D.Hutter
Talks about:
theorem (2) termin (2) prove (2) montgomeri (1) algorithm (1) karlsruh (1) argument (1) problem (1) multipl (1) classif (1)

Person: Christoph Walther

DBLP DBLP: Walther:Christoph

Contributed to:

CADE 20032003
CADE 19961996
CADE 19881988
CADE 19861986
CAV (2) 20182018

Wrote 6 papers:

About VeriFun (CW, SS), pp. 322–327.
CADE-1996-KolbeW #proving #reuse #termination #theorem proving
Termination of Theorem Proving by Reuse (TK, CW), pp. 106–120.
CADE-1988-Walther #algorithm #automation #bound #proving #termination
Argument-Bounded Algorithms as a Basis for Automated Termination Proofs (CW), pp. 602–621.
CADE-1986-BiundoHHW #induction #proving #theorem proving
The Karlsruhe Induction Theorem Proving System (SB, BH, DH, CW), pp. 672–674.
CADE-1986-Walther #classification #problem #unification
A Classification of Many-Sorted Unification Problems (CW), pp. 525–537.
CAV-2018-Walther #multi
Formally Verified Montgomery Multiplication (CW), pp. 505–522.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.