Travelled to:1 × Israel
1 × USA
Collaborated with:∅ A.R.Meyer R.S.Streett
Talks about:nondeterminist (1) interpret (1) algorithm (1) proposit (1) properti (1) program (1) problem (1) complet (1) axiomat (1) scheme (1)
Person: Grazyna Mirkowska
DBLP: Mirkowska:Grazyna
Contributed to:
1981
1980Wrote 2 papers:
- ICALP-1981-MeyerSM #deduction #logic #problem
- The Deducibility Problem in Propositional Dynamic Logic (ARM, RSS, GM), pp. 238–248.
- STOC-1980-Mirkowska #algorithm #axiom #bound #nondeterminism
- Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations (GM), pp. 14–21.