BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mirkowska:Grazyna

Contributed to:

ICALP 19811981
STOC 19801980

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.