Author:
Cybulka Jolanta,Bartoszek Jerzy
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Banachowski, L., A. Kreczmar and others: An Introduction to Algorithmic Logic, Mathem. Investig. in the Theory of Programs, Banach Center Pub., vol. 2, 1977.
2. Bartoszek, J.: The Programming Language with the Specifications of Algorithmic Theories. Ph. D. Thesis, 1983 /in Polish/.
3. Gordon, M. J., A. J. Milner and Ch. P. Wadsworth: Edinburgh LCF, LNCS, Springer-Verlag 1979.
4. Milner, R.: Logic for Computable Functions — Description of A Machine Implementation. Stanf. Univ. Reports, 1972.
5. 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.