# Grazyna Mirkowska

According to our database

Collaborative distances:

^{1}, Grazyna Mirkowska authored at least 17 papers between 1976 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

CoRR, 2023

2009

Fundam. Informaticae, 2009

2008

Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.

Fundam. Informaticae, 2008

2000

SIAM J. Comput., 2000

1996

Fundam. Informaticae, 1996

1987

Axiomatic definability of programming language semantics.

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

Proceedings of the CAAP '86, 1986

Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

1981

PAL - propositional algorithmic logic.

Fundam. Informaticae, 1981

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Proceedings of the Automata, 1981

1980

Model existence theorems in algorithmic logic with non-deterministic programs.

Fundam. Informaticae, 1980

Algorithmic logic with nondeterministic programs.

Fundam. Informaticae, 1980

Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

Proceedings of the Logics of Programs and Their Applications, 1980

1979

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1976

A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976