Grazyna Mirkowska

Publication Activity (10 Years)

Years Active: 1976-2023
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Grazyna Mirkowska, Andrzej Salwicki
Collatz conjecture becomes theorem. CoRR (2023)
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
Verifying a Class: combining Testing and Proving. Fundam. Informaticae 95 (2-3) (2009)
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. Fundam. Informaticae 85 (1-4) (2008)
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30 (6) (2000)
Grazyna Mirkowska, Andrzej Salwicki
The Algebraic Specifications do not Have the Tennenbaum Property. Fundam. Informaticae 28 (1-2) (1996)
Grazyna Mirkowska, Andrzej Salwicki
Axiomatic definability of programming language semantics. Formal Description of Programming Concepts (1987)
Grazyna Mirkowska, Andrzej Salwicki
On Applications of Algorithmic Logic. CAAP (1986)
Grazyna Mirkowska, Andrzej Salwicki
On Axiomatic Definition of Max-Model of Concurrency. Mathematical Models for the Semantics of Parallelism (1986)
Grazyna Mirkowska
PAL - propositional algorithmic logic. Fundam. Informaticae 4 (3) (1981)
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. ICALP (1981)
Grazyna Mirkowska
The Representation Theorem for Algorithmic Algebras. Logic of Programs (1981)
Grazyna Mirkowska
Model existence theorems in algorithmic logic with non-deterministic programs. Fundam. Informaticae 3 (2) (1980)
Grazyna Mirkowska
Algorithmic logic with nondeterministic programs. Fundam. Informaticae 3 (1) (1980)
Grazyna Mirkowska
On the propositional algorithmic theory of arithmetic. Logic of Programs (1980)
Grazyna Mirkowska
Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations STOC (1980)
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. Logic of Programs (1979)
Grazyna Mirkowska
On the Propositional Algorithmic Logic. MFCS (1979)
Grazyna Mirkowska
PAL - Propositional Algorithmic Logic. Logic of Programs (1979)
Grazyna Mirkowska, Andrzej Salwicki
A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. MFCS (1976)