×

zbMATH — the first resource for mathematics

Salwicki, Andrzej

Compute Distance To:
Author ID: salwicki.andrzej Recent zbMATH articles by "Salwicki, Andrzej"
Published as: Salwicki, A.; Salwicki, Andrej; Salwicki, Andrzej
External Links: MGP · Wikidata
Documents Indexed: 40 Publications since 1965, including 7 Books

Publications by Year

Citations contained in zbMATH

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

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.