Grazyna Mirkowska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1976–1981
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1981 | ICALP | The Deducibility Problem in Propositional Dynamic Logic. | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska |
| 1980 | STOC | Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations | Grazyna Mirkowska |
| 1979 | MFCS | On the Propositional Algorithmic Logic. | Grazyna Mirkowska |
| 1976 | MFCS | A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. | Grazyna Mirkowska, Andrzej Salwicki |