×
Edit Profile (opens in new tab)

Kreczmar, Antoni

Co-Author Distance
Author ID: kreczmar.antoni Recent zbMATH articles by "Kreczmar, Antoni"
Published as: Kreczmar, Antoni; Kreczmar, A.
External Links: Wikidata · IdRef
Documents Indexed: 20 Publications since 1971, including 3 Books
1 Contribution as Editor
Reviewing Activity: 42 Reviews
Co-Authors: 13 Co-Authors with 11 Joint Publications
169 Co-Co-Authors
all top 5

Co-Authors

9 single-authored
3 Banachowski, Lech
3 Salwicki, Andrzej
2 Bartol, Wieslawa M.
2 Litwiniuk, Andrzej I.
2 Mirkowska, Grazyna
2 Oktaba, Hanna
2 Warpechowski, Marek
1 Cioni, Gianna
1 Krause, Manfred
1 Langmaack, Hans
1 Müldner, Tomasz
1 Rasiowa, Helena
1 Rytter, Wojciech

Serials

3 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
2 Annales Societatis Mathematicae Polonae. Series IV
2 Lecture Notes in Computer Science
1 Information Processing Letters
1 Acta Cybernetica
all top 5

Fields

17 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 Field theory and polynomials (12-XX)
1 Commutative algebra (13-XX)
1 Numerical analysis (65-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 41 times in 36 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
9
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
3
1990
On memory requirements of Strassen’s algorithms. Zbl 0342.68025
Kreczmar, Antoni
2
1976
Programmability in fields. Zbl 0364.68025
Kreczmar, Antoni
2
1977
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
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
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
9
1991
LOGLAN ’88. Report on the programming language. Zbl 0703.68029
Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
3
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
On memory requirements of Strassen’s algorithms. Zbl 0342.68025
Kreczmar, Antoni
2
1976
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
all cited Publications top 5 cited Publications
all top 5

Cited by 53 Authors

8 Rytter, Wojciech
3 Larmore, Lawrence L.
2 Bergstra, Jan A.
2 Crochemore, Maxime
2 Czumaj, Artur
2 Gąsieniec, Leszek Antoni
2 Harel, David
2 Jarominek, Stefan
2 Lecroq, Thierry
2 Plandowski, Wojciech
2 Pliuškevičius, Regimantas
1 Back, Ralph-Johan
1 Biela, Andrzej
1 Boyer, Brice
1 Chlebus, Bogdan Stanislaw
1 Chwa, K.-Y.
1 Danko, Wiktor
1 Doroszewski, Jan
1 Engeler, Erwin
1 Fischer, Michael J.
1 Glushkov, Viktor Mikhaĭlovich
1 Hájek, Petr
1 Jakubas, Jadwiga
1 Jankowski, Andrzej Wojciech
1 Kawai, Hiroya
1 Kfoury, Assaf J.
1 Kozen, Dexter C.
1 Ladner, Richard E.
1 Lange, Klaus-Jörn
1 Langmaack, Hans
1 Meyer, John-Jules Charles
1 Monien, Burkhard
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Niwiński, Damian
1 Parikh, Rohit
1 Pernet, Clément
1 Pratt, Vaughan R.
1 Rossmanith, Peter
1 Salwicki, Andrzej
1 Schäpers, Leopold
1 Schwartz, Oded
1 Skandalis, Kostas
1 Skowron, Andrzej
1 Szałas, Andrzej
1 Szlenk, Wieslaw
1 Tiuryn, Jerzy
1 Tsejtlin, G. E.
1 Tucker, John V.
1 Urzyczyn, Paweł
1 Vaknin, Noa
1 Warpechowski, Marek
1 Yushchenko, E. L.
1 Zhou, Wei
all top 5

Cited in 16 Serials

13 Theoretical Computer Science
3 Acta Informatica
2 Information Processing Letters
2 Journal of Computer and System Sciences
1 Lithuanian Mathematical Journal
1 Bulletin of Mathematical Biology
1 Journal of Soviet Mathematics
1 RAIRO, Informatique Théorique
1 Studia Logica
1 Cybernetics
1 Algorithmica
1 Information and Computation
1 SIAM Journal on Scientific Computing
1 Journal of Mathematical Sciences (New York)
1 Antiquitates Mathematicae
1 Axioms
all top 5

Cited in 8 Fields

29 Computer science (68-XX)
16 Mathematical logic and foundations (03-XX)
3 Numerical analysis (65-XX)
2 History and biography (01-XX)
2 Operations research, mathematical programming (90-XX)
1 Field theory and polynomials (12-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year

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