Moje najważniejsze publikacje w dziedzinie informatyki

Utworzono: środa, 15 luty 2012 06:21

Poprawiono: czwartek, 17 styczeń 2019 08:28

Odsłony: 63047

1. Automaty i Gramatyki; Wstęp do lingwistyki matematycznej, PWN, Warszawa 1971,
2. Algorithmically definable functions, Dissertationes Mathematicae 85 (1971)
3. Addressless units for carrying loop-free computations, Journal of ACM 19 (1972), 136-157
4. The clean termination of iterative programs, Acta Informatica,16 (1981), 199-217
5. Naive Denotational Semantics, IFIP Congress 1983, North Holland 1983 (wspólnie z A.Tarleckim)
6. Denotational Engineering, Science of Computer Programming 12 (1989), 207-253
7. MetaSoft Primer; Towards a Metalanguage for Applied Denotational Semantics, Lecture Notes in Computer Science 288, Springer-Verlag 1987