This is a preview of subscription content, log in via an institution to check access.
References
Th. Käufl: Reasoning about Theories with a Finite Model. 3. Österreichische Artificial Intelligence-Tagung 1987. Informatik-Fachberichte; Berlin, Heidelberg, New York: 1987; Springer
Th. Käufl: Reasoning about Systems of Linear Inequalities. 9th International Conference on Automated Deduction. Lecture Notes on Computer Science; Berlin, Heidelberg, New York: 1988; Springer
Th. Käufl: Simplification and Decision of Systems of Linear Inequalities over the Integers. Interner Bericht 9/88. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe: 1988
Th. Käufl: Program Verifier Tatzelwurm: The Correctness and Completeness of the Generation of the Verification Conditions. Interner Bericht 9/89. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe: 1989
Th. Käufl: The Program Verifier Tatzelwurm. in Sichere Software. Heinrich Kersten (Hrsg.). Heidelberg: 1990
Th. Käufl, N. Zabel: Coopeation of Decision Procedures in a Tableau-Based Theorem Prover. Revue d'Intelligence Artificielle, Vol. 4, no. 3: 1990, pp. 99–126
R.M. Smullyan: First Order Logic. Berlin, Heidelberg, New York: 1968
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Käufl, T. (1993). The program verifier Tatzelwurm . In: Enjalbert, P., Finkel, A., Wagner, K.W. (eds) STACS 93. STACS 1993. Lecture Notes in Computer Science, vol 665. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56503-5_71
Download citation
DOI: https://doi.org/10.1007/3-540-56503-5_71
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56503-1
Online ISBN: 978-3-540-47574-3
eBook Packages: Springer Book Archive