×
Compute Distance To:
Author ID: mirkowska.grazyna Recent zbMATH articles by "Mirkowska, Grazyna"
Published as: Mirkowska, Grazyna; Mirkowska, G.; Mirkowska, Grażyna; Mirkowska, Grzyna
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 71 times in 56 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.
13
1977
Algorithmic logic. Zbl 0648.03018
Mirkowska, G.; Salwicki, A.
9
1987
Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010
Mirkowska, Grazyna
9
1977
Algorithmic logic and its applications in the theory of programs. I. Zbl 0358.68036
Mirkowska, Grazyna
7
1977
On formalized systems of algorithmic logic. Zbl 0222.02010
Mirkowska, G.
7
1971
Algorithmic logic with nondeterministic programs. Zbl 0439.68024
Mirkowska, Grazyna
6
1980
PAL - Propositional algorithmic logic. Zbl 0494.68030
Mirkowska, Grazyna
5
1981
Model existence theorem in algorithmic logic with non-deterministic programs. Zbl 0439.68025
Mirkowska, Grazyna
4
1980
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
PAL - propositional algorithmic logic. Zbl 0487.03012
Mirkowska, Grazyna
2
1981
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
An elimination of iteration quantifiers in a certain class of algorithmic formulas. Zbl 0386.68043
Mirkowska, Grazyna; Orlowska, Ewa
1
1978
Algorithmic logic can express progressive behavior of programs. Zbl 0601.03007
Mirkowska, G.; Stapp, L.
1
1986
Algorithmic logic with nondeterministic programs. Zbl 0494.68031
Mirkowska, G.
1
1981
On the propositional algorithmic logic. Zbl 0438.68002
Mirkowska, Grazyna
1
1979
Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar
1
2008
Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar
1
2008
Algorithmic logic. Zbl 0648.03018
Mirkowska, G.; Salwicki, A.
9
1987
Algorithmic logic can express progressive behavior of programs. Zbl 0601.03007
Mirkowska, G.; Stapp, L.
1
1986
PAL - Propositional algorithmic logic. Zbl 0494.68030
Mirkowska, Grazyna
5
1981
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
PAL - propositional algorithmic logic. Zbl 0487.03012
Mirkowska, Grazyna
2
1981
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
Algorithmic logic with nondeterministic programs. Zbl 0494.68031
Mirkowska, G.
1
1981
Algorithmic logic with nondeterministic programs. Zbl 0439.68024
Mirkowska, Grazyna
6
1980
Model existence theorem in algorithmic logic with non-deterministic programs. Zbl 0439.68025
Mirkowska, Grazyna
4
1980
On the propositional algorithmic logic. Zbl 0438.68002
Mirkowska, Grazyna
1
1979
An elimination of iteration quantifiers in a certain class of algorithmic formulas. Zbl 0386.68043
Mirkowska, Grazyna; Orlowska, Ewa
1
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.
13
1977
Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010
Mirkowska, Grazyna
9
1977
Algorithmic logic and its applications in the theory of programs. I. Zbl 0358.68036
Mirkowska, Grazyna
7
1977
On formalized systems of algorithmic logic. Zbl 0222.02010
Mirkowska, G.
7
1971

Citations by Year