1990 |
10 | | Antoni Kreczmar,
Andrzej Salwicki,
Marek Warpechowski:
LOGPLAN '88 - Report on the Programming Language
Springer 1990 |
1989 |
9 | | Antoni Kreczmar,
Grazyna Mirkowska:
Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings
Springer 1989 |
1984 |
8 | | Gianna Cioni,
Antoni Kreczmar:
Programmed Deallocation Without Dangling Reference.
Inf. Process. Lett. 18(4): 179-187 (1984) |
1980 |
7 | | W. W. Bartol,
Antoni Kreczmar,
A. I. Litwiniuk,
H. Oktaba:
Semantics and implementation of prefixing at many levels.
Logic of Programs 1980: 45-80 |
1979 |
6 | | Antoni Kreczmar:
Some historical remarks on algorithmic logic.
Algorithms in Modern Mathematics and Computer Science 1979: 460-460 |
1978 |
5 | | Michal Grabowski,
Antoni Kreczmar:
Dynamic Theories of Real and Complex Numbers.
MFCS 1978: 239-249 |
1977 |
4 | | Antoni Kreczmar:
On Finite and Infinite Computations.
FCT 1977: 441-446 |
1976 |
3 | | Antoni Kreczmar:
On Memory Requirements of Strassen's Algorithms.
MFCS 1976: 404-407 |
2 | | Antoni Kreczmar:
Algorithm for constructing of university timetables and criterion of consistency of requirements.
Acta Cybern. 2: 135-145 (1976) |
1974 |
1 | | Antoni Kreczmar:
Effectivity Problems of Algorithmic Logic.
ICALP 1974: 584-600 |