×
Edit Profile (opens in new tab)

Salwicki, Andrzej

Co-Author Distance
Author ID: salwicki.andrzej Recent zbMATH articles by "Salwicki, Andrzej"
Published as: Salwicki, Andrzej; Salwicki, A.; Salwicki, Andrej
External Links: MGP
Documents Indexed: 34 Publications since 1965, including 2 Books and 1 Additional arXiv Preprint
7 Contributions as Editor
Co-Authors: 20 Co-Authors with 23 Joint Publications
355 Co-Co-Authors
all top 5

Co-Authors

18 single-authored
10 Mirkowska, Grazyna
4 Burkhard, Hans-Dieter
4 Czaja, Ludwik
4 Lindemann, Gabriela
4 Penczek, Wojciech
4 Schlingloff, Holger
4 Suraj, Zbigniew
3 Kreczmar, Antoni
3 Langmaack, Hans
3 Müldner, Tomasz
3 Warpechowski, Marek
2 Świda, Oskar
1 Banachowski, Lech
1 Krajewski, Stanisław
1 Marek, V. Wiktor
1 Mirkowska, A.
1 Rasiowa, Helena
1 Srebrny, Marian
1 Tarlecki, Andrzej
1 Woleński, Jan
all top 5

Serials

9 Fundamenta Informaticae
3 Annales Societatis Mathematicae Polonae. Series IV
3 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
2 Lecture Notes in Computer Science
1 SIAM Journal on Computing
1 Information and Computation

Fields

35 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
7 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

15 Publications have been cited 90 times in 68 Documents Cited by ▼ Year ▼
Formalized algorithmic languages. Zbl 0198.02801
Salwicki, A.
34
1970
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
Algorithmic logic. Zbl 0648.03018
Mirkowska, G.; Salwicki, A.
12
1987
On the algorithmic properties of concurrent programs. Zbl 0472.68012
Salwicki, Andrzej; Mueldner, Tomasz
9
1981
On the algorithmic theory of stacks. Zbl 0441.68013
Salwicki, Andrzej
3
1980
Axioms of algorithmic logic univocally determine semantics of programs. Zbl 0441.68023
Salwicki, Andrzej
3
1980
On algorithmic theory of stacks. Zbl 0387.68027
Salwicki, Andrzej
3
1978
LOGLAN ’88. Report on the programming language. Zbl 0703.68029
Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
3
1990
Computational processes generated by programs with (recursive) procedures and block structures. Zbl 0361.68021
Salwicki, A.; Müldner, T.
2
1976
Algorithmic logic, a tool for investigations of programs. Zbl 0381.03019
Salwicki, A.
2
1977
Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar
1
2008
Critical remarks on max model of concurrency. Zbl 0481.68013
Salwicki, A.
1
1982
An algorithmic approach to set theory. Zbl 0403.68005
Salwicki, Andrzej
1
1977
On axiomatic definition of max-model of concurrency. Zbl 0626.68018
Mirkowska, Grazyna; Salwicki, Andrzej
1
1987
On the equivalence of FS-expressions and programs. Zbl 0198.02802
Salwicki, A.
1
1970
Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar
1
2008
LOGLAN ’88. Report on the programming language. Zbl 0703.68029
Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
3
1990
Algorithmic logic. Zbl 0648.03018
Mirkowska, G.; Salwicki, A.
12
1987
On axiomatic definition of max-model of concurrency. Zbl 0626.68018
Mirkowska, Grazyna; Salwicki, Andrzej
1
1987
Critical remarks on max model of concurrency. Zbl 0481.68013
Salwicki, A.
1
1982
On the algorithmic properties of concurrent programs. Zbl 0472.68012
Salwicki, Andrzej; Mueldner, Tomasz
9
1981
On the algorithmic theory of stacks. Zbl 0441.68013
Salwicki, Andrzej
3
1980
Axioms of algorithmic logic univocally determine semantics of programs. Zbl 0441.68023
Salwicki, Andrzej
3
1980
On algorithmic theory of stacks. Zbl 0387.68027
Salwicki, Andrzej
3
1978
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
Algorithmic logic, a tool for investigations of programs. Zbl 0381.03019
Salwicki, A.
2
1977
An algorithmic approach to set theory. Zbl 0403.68005
Salwicki, Andrzej
1
1977
Computational processes generated by programs with (recursive) procedures and block structures. Zbl 0361.68021
Salwicki, A.; Müldner, T.
2
1976
Formalized algorithmic languages. Zbl 0198.02801
Salwicki, A.
34
1970
On the equivalence of FS-expressions and programs. Zbl 0198.02802
Salwicki, A.
1
1970
all cited Publications top 5 cited Publications
all top 5

Cited by 83 Authors

4 Szałas, Andrzej
3 Bergstra, Jan A.
3 Harel, David
3 Koutny, Maciej
3 Pratt, Vaughan R.
2 Apt, Krzysztof Rafal
2 Burkhard, Hans-Dieter
2 Demri, Stéphane P.
2 Fariñas del Cerro, Luis
2 Hájek, Petr
2 Janicki, Ryszard
2 Jifeng, He
2 Meyer, Albert Ronald
2 Olderog, Ernst-Rüdiger
2 Orłowska, Ewa S.
2 Passy, Solomon
2 Pliuškevičius, Regimantas
2 Scholefield, David
2 Tinchev, Tinko
2 Tiuryn, Jerzy
2 Vardi, Moshe Ya’akov
2 Walukiewicz, Igor
2 Zedan, Hussein
1 Adari, S.
1 Ammar, Reda A.
1 Arunkumar, S.
1 Back, Ralph-Johan
1 Bancerek, Grzegorz
1 Best, Eike
1 Biela, Andrzej
1 Bradfield, Julian Charles
1 Chlebus, Bogdan Stanislaw
1 Compton, Kevin J.
1 Czaja, Ludwik
1 Danko, Wiktor
1 Devillers, Raymond
1 Enjalbert, Patrice
1 Fischer, Michael J.
1 Garcia, Françoise
1 Gerth, Rob Tristan
1 Glushkov, Viktor Mikhaĭlovich
1 Halpern, Joseph Yehuda
1 Holenderski, Leszek
1 Jankowski, Andrzej Wojciech
1 Kalasek, Pavel
1 Kawai, Hiroya
1 Kooi, Barteld Pieter
1 Koyman, R.
1 Kozen, Dexter C.
1 Kůrka, Petr
1 Ladner, Richard E.
1 Langmaack, Hans
1 Lauer, Peter Ernst
1 Meyer, John-Jules Charles
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Niwiński, Damian
1 Okulicka, Felicja
1 Parikh, Rohit
1 Pasztor, Ana
1 Peleg, David
1 Rasiowa, Helena
1 Reif, John H.
1 Renardel de Lavalette, Gerard R.
1 Rewitzky, Ingrid
1 Salwicki, Andrzej
1 Schoett, Oliver
1 Shyamasundar, Rudrapatna Kallikote
1 Skandalis, Kostas
1 Skowron, Andrzej
1 Sui, Yuefei
1 Światak, Halina
1 Tsejtlin, G. E.
1 Tucker, John V.
1 van Benthem, Johan F. A. K.
1 Verbrugge, Rineke
1 Wand, Mitchell
1 Warpechowski, Marek
1 Wasilewska, Anita
1 Winklmann, Karl
1 Xu, Zhaowei
1 Yoccoz, Serge
1 Yushchenko, E. L.
1 Zhang, Wenhui
all top 5

Cited in 21 Serials

24 Theoretical Computer Science
6 Information Processing Letters
4 Studia Logica
3 Acta Informatica
3 Journal of Computer and System Sciences
3 Information and Computation
2 RAIRO, Informatique Théorique
2 Journal of Logic, Language and Information
1 Computers & Mathematics with Applications
1 Lithuanian Mathematical Journal
1 Journal of Soviet Mathematics
1 Cybernetics
1 Journal of Symbolic Computation
1 Formal Aspects of Computing
1 Aequationes Mathematicae
1 RAIRO. Informatique Théorique et Applications
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 Formalized Mathematics
1 Antiquitates Mathematicae
1 Axioms

Cited in 5 Fields

55 Computer science (68-XX)
46 Mathematical logic and foundations (03-XX)
2 History and biography (01-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Difference and functional equations (39-XX)

Citations by Year