Edit Profile Kreczmar, Antoni Compute Distance To: Compute Author ID: kreczmar.antoni Published as: Kreczmar, A.; Kreczmar, Antoni External Links: Wikidata Documents Indexed: 21 Publications since 1971, including 4 Books Reviewing Activity: 42 Reviews 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 Grabowski, Mariusz 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 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.68035Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. 14 1977 Analysis of algorithms and data structures. Zbl 0748.68028Banachowski, Lech; Kreczmar, Antoni; Rytter, Wojciech 6 1991 Effectivity problems of algorithmic logic. Zbl 0361.02056Kreczmar, Antoni 3 1977 Effectivity problems of algorithmic logic. Zbl 0294.68017Kreczmar, Antoni 3 1974 LOGLAN ’88. Report on the programming language. Zbl 0703.68029Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek 2 1990 Programmability in fields. Zbl 0364.68025Kreczmar, Antoni 2 1977 Concatenation of program modules. An algebraic approach to the semantic and implementation problem. Zbl 0585.68017Krause, Manfred; Langmaack, Hans; Kreczmar, Antoni; Warpechowski, Marek 1 1985 Semantics and implementation of prefixing at many levels. Zbl 0506.68018Bartol, W. M.; Kreczmar, A.; Litwiniuk, A. I.; Oktaba, H. 1 1983 On finite and infinite computations. Zbl 0356.68036Kreczmar, A. 1 1977 Degree of recursive unsolvability of algorithmic logic. Zbl 0245.02038Kreczmar, A. 1 1972 The set of all tautologies of algorithmic logic is hyperarithmetical. Zbl 0221.02030Kreczmar, A. 1 1971 Analysis of algorithms and data structures. Zbl 0748.68028Banachowski, Lech; Kreczmar, Antoni; Rytter, Wojciech 6 1991 LOGLAN ’88. Report on the programming language. Zbl 0703.68029Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek 2 1990 Concatenation of program modules. An algebraic approach to the semantic and implementation problem. Zbl 0585.68017Krause, Manfred; Langmaack, Hans; Kreczmar, Antoni; Warpechowski, Marek 1 1985 Semantics and implementation of prefixing at many levels. Zbl 0506.68018Bartol, 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.68035Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. 14 1977 Effectivity problems of algorithmic logic. Zbl 0361.02056Kreczmar, Antoni 3 1977 Programmability in fields. Zbl 0364.68025Kreczmar, Antoni 2 1977 On finite and infinite computations. Zbl 0356.68036Kreczmar, A. 1 1977 Effectivity problems of algorithmic logic. Zbl 0294.68017Kreczmar, Antoni 3 1974 Degree of recursive unsolvability of algorithmic logic. Zbl 0245.02038Kreczmar, A. 1 1972 The set of all tautologies of algorithmic logic is hyperarithmetical. Zbl 0221.02030Kreczmar, A. 1 1971 all cited Publications top 5 cited Publications all top 5 Cited by 46 Authors 5 Rytter, Wojciech 2 Bergstra, Jan A. 2 Harel, David 2 Larmore, Lawrence L. 2 Pliuškevičius, Regimantas 1 Back, Ralph-Johan 1 Biela, Andrzej 1 Chlebus, Bogdan Stanislaw 1 Chwa, K.-Y. 1 Crochemore, Maxime 1 Czumaj, Artur 1 Danko, Wiktor 1 Doroszewski, Jan 1 Engeler, Erwin 1 Enjalbert, Paul 1 Fischer, Michael J. 1 Gąsieniec, Leszek Antoni 1 Glushkov, Viktor Mikhaĭlovich 1 Hájek, Petr 1 Jakubas, Jadwiga 1 Jarominek, Stefan 1 Kawai, Hiroya 1 Kfoury, Assaf J. 1 Kozen, Dexter C. 1 Ladner, Richard E. 1 Langmaack, Hans 1 Lecroq, Thierry 1 Meyer, John-Jules Charles 1 Monien, Burkhard 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Niwiński, Damian 1 Parikh, Rohit 1 Park, Je Hong 1 Plandowski, Wojciech 1 Pratt, Vaughan R. 1 Salwicki, Andrzej 1 Schäpers, Leopold 1 Skandalis, Kostas 1 Szałas, Andrzej 1 Szlenk, Wieslaw 1 Tiuryn, Jerzy 1 Tsejtlin, G. E. 1 Tucker, John V. 1 Urzyczyn, Paweł 1 Warpechowski, Marek 1 Yushchenko, E. L. all top 5 Cited in 14 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 Journal of Mathematical Sciences (New York) 1 Axioms all top 5 Cited in 7 Fields 25 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 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.