Edit Profile Banachowski, Lech Compute Distance To: Compute Author ID: banachowski.lech Published as: Banachowski, L.; Banachowski, Lech Documents Indexed: 17 Publications since 1972, including 4 Books all top 5 Co-Authors 12 single-authored 3 Kreczmar, Antoni 1 Drozdowicz, Grazyna 1 Mirkowska, Grazyna 1 Nowacki, Jerzy Pawel 1 Rasiowa, Helena 1 Rytter, Wojciech 1 Salwicki, Andrzej Serials 4 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 2 Annales Societatis Mathematicae Polonae. Series IV 1 Information Processing Letters Fields 16 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 6 Publications have been cited 31 times in 28 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 A complement to Tarjan’s result about the lower bound on the complexity of the set union problem. Zbl 0453.68039Banachowski, Lech 4 1980 Investigations of properties of programs by means of the extended algorithmic logic. I. Zbl 0358.68037Banachowski, Lech 4 1977 Modular properties of programs. Zbl 0328.68006Banachowski, L. 2 1975 Extended algorithmic logic and properties of programs. Zbl 0328.68007Banachowski, L. 1 1975 Analysis of algorithms and data structures. Zbl 0748.68028Banachowski, Lech; Kreczmar, Antoni; Rytter, Wojciech 6 1991 A complement to Tarjan’s result about the lower bound on the complexity of the set union problem. Zbl 0453.68039Banachowski, Lech 4 1980 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 Investigations of properties of programs by means of the extended algorithmic logic. I. Zbl 0358.68037Banachowski, Lech 4 1977 Modular properties of programs. Zbl 0328.68006Banachowski, L. 2 1975 Extended algorithmic logic and properties of programs. Zbl 0328.68007Banachowski, L. 1 1975 all cited Publications top 5 cited Publications all top 5 Cited by 40 Authors 5 Rytter, Wojciech 3 Harel, David 2 Bergstra, Jan A. 2 Gustedt, Jens 2 Larmore, Lawrence L. 2 Pliuškevičius, Regimantas 1 Back, Ralph-Johan 1 Bae, Sung Eun 1 Biela, Andrzej 1 Blum, Norbert 1 Chwa, K.-Y. 1 Crochemore, Maxime 1 Czumaj, Artur 1 Danko, Wiktor 1 Enjalbert, Paul 1 Fiorio, Christophe 1 Gąsieniec, Leszek Antoni 1 Glushkov, Viktor Mikhaĭlovich 1 Hájek, Petr 1 Jarominek, Stefan 1 Kawai, Hiroya 1 Kozen, Dexter C. 1 Lecroq, Thierry 1 Meyer, John-Jules Charles 1 Monien, Burkhard 1 Parikh, Rohit 1 Park, Je Hong 1 Peleg, David 1 Plandowski, Wojciech 1 Pratt, Vaughan R. 1 Rasiowa, Helena 1 Rochow, Henning 1 Schäpers, Leopold 1 Skandalis, Kostas 1 Szałas, Andrzej 1 Takaoka, Tadao 1 Tiuryn, Jerzy 1 Tsejtlin, G. E. 1 Tucker, John V. 1 Yushchenko, E. L. all top 5 Cited in 11 Serials 14 Theoretical Computer Science 3 Information Processing Letters 2 Acta Informatica 2 Studia Logica 1 Lithuanian Mathematical Journal 1 Journal of Computer and System Sciences 1 RAIRO, Informatique Théorique 1 Cybernetics 1 Algorithmica 1 International Journal of Foundations of Computer Science 1 Journal of Mathematical Sciences (New York) Cited in 4 Fields 25 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year