Antoni Kreczmar

According to our database, Antoni Kreczmar authored at least 11 papers between 1973 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Analysis of algorithms and data structures.

Lech Banachowski, Antoni Kreczmar, Wojciech Rytter

International computer science series, Addison-Wesley, ISBN: 978-0-201-41693-0, 1991

1990

LOGPLAN '88 - Report on the Programming Language

Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski

Lecture Notes in Computer Science 414, Springer, ISBN: 3-540-52325-1, 1990

1984

Programmed Deallocation Without Dangling Reference.

Gianna Cioni, Antoni Kreczmar

Inf. Process. Lett., 1984

Concatenation of program modules an algebraic approach to the semantic and implementation problems.

Manfred Krause, Hans Langmaack, Antoni Kreczmar, Marek Warpechowski

Proceedings of the Computation Theory, 1984

1980

Semantics and implementation of prefixing at many levels.

W. W. Bartol, Antoni Kreczmar, A. I. Litwiniuk, H. Oktaba

Proceedings of the Logics of Programs and Their Applications, 1980

1979

Some historical remarks on algorithmic logic.

Antoni Kreczmar

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

1978

Dynamic Theories of Real and Complex Numbers.

Michal Grabowski, Antoni Kreczmar

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

On Finite and Infinite Computations.

Antoni Kreczmar

Proceedings of the Fundamentals of Computation Theory, 1977

1976

On Memory Requirements of Strassen's Algorithms.

Antoni Kreczmar

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Effectivity Problems of Algorithmic Logic.

Antoni Kreczmar

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973

Algorithm for constructing of university timetables and criterion of consistency of requirements.

Antoni Kreczmar

Acta Cybern., 1973