References
Beierle, C., Olthoff, W., Voss, A.: Software Development Environments Integrating Specification and Programming Languages. Proc. German Chapter of the ACM Workshop on Software Architecture and Modular Programming. Teubner Verlag, Stuttgart, 1986.
Karl Mark G. Raph: The Markgral Karl Refutation Procedure. University of Kaiserslautern, Memo SEKI-MK-84-01, 1984.
Thomas, C.: The Rewrite Rule Laboratory (in German). University of Kaiserslautern, Memo SEKI-84-01, 1984.
Beierle, C., Voss, A.: Algebraic Specifications and Implementations in an Integrated Software Development and Verification System. University of Kaiserslautern, Memo SEKI-85-12, 1985 (joint SEKI-Memo containing the Ph.D. thesis by Ch. Beierle and the Ph.D. thesis by A. Voss).
Beierle, C., Gerlach, M., Goebel, R., Olthoff, W., Raulefs, P., Voss, A.: Integrated Program Development and Verification. In: H.-L. Hausen (ed.): Symposium on Software Validation. North-Holland Publ. Co., Amsterdam, 1983.
Olthoff, W.: An Overview of ModPascal. SIGPLAN Notices, 20 (10), Oct. 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Olthoff, W., Voss, A. (1986). Automatic theorem proving in the ISDV system. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_131
Download citation
DOI: https://doi.org/10.1007/3-540-16780-3_131
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16780-8
Online ISBN: 978-3-540-39861-5
eBook Packages: Springer Book Archive