×

zbMATH — the first resource for mathematics

Kreczmar, Antoni

Compute Distance To:
Author ID: kreczmar.antoni Recent zbMATH articles by "Kreczmar, Antoni"
Published as: Kreczmar, A.; Kreczmar, Antoni
External Links: Wikidata
Documents Indexed: 21 Publications since 1971, including 4 Books
Reviewing Activity: 42 Reviews

Publications by Year

Citations contained in zbMATH

11 Publications have been cited 35 times in 30 Documents Cited by Year
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A.
14
1977
Analysis of algorithms and data structures. Zbl 0748.68028
Banachowski, Lech; Kreczmar, Antoni; Rytter, Wojciech
6
1991
Effectivity problems of algorithmic logic. Zbl 0361.02056
Kreczmar, Antoni
3
1977
Effectivity problems of algorithmic logic. Zbl 0294.68017
Kreczmar, Antoni
3
1974
LOGLAN ’88. Report on the programming language. Zbl 0703.68029
Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
2
1990
Programmability in fields. Zbl 0364.68025
Kreczmar, Antoni
2
1977
Concatenation of program modules. An algebraic approach to the semantic and implementation problem. Zbl 0585.68017
Krause, Manfred; Langmaack, Hans; Kreczmar, Antoni; Warpechowski, Marek
1
1985
Semantics and implementation of prefixing at many levels. Zbl 0506.68018
Bartol, W. M.; Kreczmar, A.; Litwiniuk, A. I.; Oktaba, H.
1
1983
On finite and infinite computations. Zbl 0356.68036
Kreczmar, A.
1
1977
Degree of recursive unsolvability of algorithmic logic. Zbl 0245.02038
Kreczmar, A.
1
1972
The set of all tautologies of algorithmic logic is hyperarithmetical. Zbl 0221.02030
Kreczmar, A.
1
1971
Analysis of algorithms and data structures. Zbl 0748.68028
Banachowski, Lech; Kreczmar, Antoni; Rytter, Wojciech
6
1991
LOGLAN ’88. Report on the programming language. Zbl 0703.68029
Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
2
1990
Concatenation of program modules. An algebraic approach to the semantic and implementation problem. Zbl 0585.68017
Krause, Manfred; Langmaack, Hans; Kreczmar, Antoni; Warpechowski, Marek
1
1985
Semantics and implementation of prefixing at many levels. Zbl 0506.68018
Bartol, W. M.; Kreczmar, A.; Litwiniuk, A. I.; Oktaba, H.
1
1983
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A.
14
1977
Effectivity problems of algorithmic logic. Zbl 0361.02056
Kreczmar, Antoni
3
1977
Programmability in fields. Zbl 0364.68025
Kreczmar, Antoni
2
1977
On finite and infinite computations. Zbl 0356.68036
Kreczmar, A.
1
1977
Effectivity problems of algorithmic logic. Zbl 0294.68017
Kreczmar, Antoni
3
1974
Degree of recursive unsolvability of algorithmic logic. Zbl 0245.02038
Kreczmar, A.
1
1972
The set of all tautologies of algorithmic logic is hyperarithmetical. Zbl 0221.02030
Kreczmar, A.
1
1971

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.