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 × Germany
1 × United Kingdom
Collaborated with:
K.Lehtinen J.C.Bradfield J.Duparc
Talks about:
transfinit (1) hierarchi (1) construct (1) calculus (1) formula (1) extens (1) altern (1) modal (1) level (1) first (1)

Person: Sandra Quickert

DBLP DBLP: Quickert:Sandra

Contributed to:

CSL 20152015
CSL 20052005

Wrote 2 papers:

Deciding the First Levels of the Modal μ Alternation Hierarchy by Formula Construction (KL, SQ), pp. 457–471.
CSL-2005-BradfieldDQ #calculus #μ-calculus
Transfinite Extension of the μ-Calculus (JCB, JD, SQ), pp. 384–396.

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.