BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
N.Zabel
Talks about:
tatzelwurm (2) program (2) verifi (2) system (2) reason (2) linear (2) inequ (2) about (2) theorem (1) prover (1)

Person: Thomas Käufl

DBLP DBLP: K=auml=ufl:Thomas

Contributed to:

CADE 19901990
CADE 19881988
CADE 19861986

Wrote 3 papers:

CADE-1990-KaflZ #proving #theorem proving #verification
The Theorem Prover of the Program Verifier Tatzelwurm (TK, NZ), pp. 657–658.
CADE-1988-Kafl #linear #reasoning
Reasoning about Systems of Linear Inequalities (TK), pp. 563–572.
CADE-1986-Kafl #linear #reasoning #verification
Program Verifier “Tatzelwurm”: Reasoning about Systems of Linear Inequalities (TK), pp. 300–305.

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.