Grazyna Mirkowska

According to our database, Grazyna Mirkowska authored at least 17 papers between 1976 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Collatz conjecture becomes theorem.

Grazyna Mirkowska, Andrzej Salwicki

CoRR, 2023

2009

Verifying a Class: combining Testing and Proving.

Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida

Fundam. Informaticae, 2009

2008

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

Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida

Fundam. Informaticae, 2008

2000

First-Order Specifications of Programmable Data Types.

Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki

SIAM J. Comput., 2000

1996

The Algebraic Specifications do not Have the Tennenbaum Property.

Grazyna Mirkowska, Andrzej Salwicki

Fundam. Informaticae, 1996

1987

Axiomatic definability of programming language semantics.

Grazyna Mirkowska, Andrzej Salwicki

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

On Applications of Algorithmic Logic.

Grazyna Mirkowska, Andrzej Salwicki

Proceedings of the CAAP '86, 1986

On Axiomatic Definition of Max-Model of Concurrency.

Grazyna Mirkowska, Andrzej Salwicki

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

1981

PAL - propositional algorithmic logic.

Grazyna Mirkowska

Fundam. Informaticae, 1981

The Representation Theorem for Algorithmic Algebras.

Grazyna Mirkowska

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

The Deducibility Problem in Propositional Dynamic Logic.

Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska

Proceedings of the Automata, 1981

1980

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

Grazyna Mirkowska

Fundam. Informaticae, 1980

Algorithmic logic with nondeterministic programs.

Grazyna Mirkowska

Fundam. Informaticae, 1980

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

Grazyna Mirkowska

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

On the propositional algorithmic theory of arithmetic.

Grazyna Mirkowska

Proceedings of the Logics of Programs and Their Applications, 1980

1979

On the Propositional Algorithmic Logic.

Grazyna Mirkowska

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1976

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

Grazyna Mirkowska, Andrzej Salwicki

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976