dblp.uni-trier.dewww.uni-trier.de

Antoni Kreczmar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1W. W. Bartol [7]
2Gianna Cioni [8]
3Michal Grabowski [5]
4A. I. Litwiniuk [7]
5Grazyna Mirkowska [9]
6H. Oktaba [7]
7Andrzej Salwicki [10]
8Marek Warpechowski [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)