×

zbMATH — the first resource for mathematics

Banachowski, Lech

Compute Distance To:
Author ID: banachowski.lech Recent zbMATH articles by "Banachowski, Lech"
Published as: Banachowski, L.; Banachowski, Lech
Documents Indexed: 17 Publications since 1972, including 4 Books

Publications by Year

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.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
A complement to Tarjan’s result about the lower bound on the complexity of the set union problem. Zbl 0453.68039
Banachowski, Lech
4
1980
Investigations of properties of programs by means of the extended algorithmic logic. I. Zbl 0358.68037
Banachowski, Lech
4
1977
Modular properties of programs. Zbl 0328.68006
Banachowski, L.
2
1975
Extended algorithmic logic and properties of programs. Zbl 0328.68007
Banachowski, L.
1
1975
Analysis of algorithms and data structures. Zbl 0748.68028
Banachowski, 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.68039
Banachowski, Lech
4
1980
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
Investigations of properties of programs by means of the extended algorithmic logic. I. Zbl 0358.68037
Banachowski, Lech
4
1977
Modular properties of programs. Zbl 0328.68006
Banachowski, L.
2
1975
Extended algorithmic logic and properties of programs. Zbl 0328.68007
Banachowski, L.
1
1975

Citations by Year