Preview
Unable to display preview. Download preview PDF.
References
Banachowski, L., A. Kreczmar and others: An Introduction to Algorithmic Logic, Mathem. Investig. in the Theory of Programs, Banach Center Pub., vol. 2, 1977.
Bartoszek, J.: The Programming Language with the Specifications of Algorithmic Theories. Ph. D. Thesis, 1983 /in Polish/.
Gordon, M. J., A. J. Milner and Ch. P. Wadsworth: Edinburgh LCF, LNCS, Springer-Verlag 1979.
Milner, R.: Logic for Computable Functions — Description of A Machine Implementation. Stanf. Univ. Reports, 1972.
Mirkowska, G.: Algorithmic Logic and its Applications in the Theory of Programs I&II, Annales Societatis Mathematicae Polonae, Ser. IV, Fundamenta Informaticae, vol. I, nr. 1&2 (1977), 1–17 & 147–165.
Rasiowa, H.: Algorithmic Logic, ICS PAS Reports, No 281, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cybulka, J., Bartoszek, J. (1986). The proof-checking component for the pleats programming system enabling specification of theories. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_10
Download citation
DOI: https://doi.org/10.1007/3-540-16444-8_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16444-9
Online ISBN: 978-3-540-39784-7
eBook Packages: Springer Book Archive