Grazyna Mirkowska

20 papers A* 2B 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Collatz conjecture becomes theorem.
CoRR
Grazyna Mirkowska, Andrzej Salwicki
2009 J jnl
Verifying a Class: combining Testing and Proving.
Fundam. Informaticae
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
2008 J jnl
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
Fundam. Informaticae
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
2000 J jnl
First-Order Specifications of Programmable Data Types.
SIAM J. Comput.
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
1996 J jnl
The Algebraic Specifications do not Have the Tennenbaum Property.
Fundam. Informaticae
Grazyna Mirkowska, Andrzej Salwicki
1989 B ed.
Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings
MFCS
Antoni Kreczmar, Grazyna Mirkowska
1987 — conf
Axiomatic definability of programming language semantics.
Formal Description of Programming Concepts
Grazyna Mirkowska, Andrzej Salwicki
1986 — conf
On Applications of Algorithmic Logic.
CAAP
Grazyna Mirkowska, Andrzej Salwicki
1986 — conf
On Axiomatic Definition of Max-Model of Concurrency.
Mathematical Models for the Semantics of Parallelism
Grazyna Mirkowska, Andrzej Salwicki
1981 J jnl
PAL - propositional algorithmic logic.
Fundam. Informaticae
Grazyna Mirkowska
1981 A* conf
The Deducibility Problem in Propositional Dynamic Logic.
ICALP
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
1981 — conf
The Representation Theorem for Algorithmic Algebras.
Logic of Programs
Grazyna Mirkowska
1980 J jnl
Algorithmic logic with nondeterministic programs.
Fundam. Informaticae
Grazyna Mirkowska
1980 A* conf
Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations
STOC
Grazyna Mirkowska
1980 J jnl
Model existence theorems in algorithmic logic with non-deterministic programs.
Fundam. Informaticae
Grazyna Mirkowska
1980 — conf
On the propositional algorithmic theory of arithmetic.
Logic of Programs
Grazyna Mirkowska
1979 B conf
On the Propositional Algorithmic Logic.
MFCS
Grazyna Mirkowska
1979 — conf
PAL - Propositional Algorithmic Logic.
Logic of Programs
Grazyna Mirkowska
1979 — conf
The Deducibility Problem in Propositional Dynamic Logic.
Logic of Programs
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
1976 B conf
A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.
MFCS
Grazyna Mirkowska, Andrzej Salwicki