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: Quickert:Sandra
Contributed to:
20152005Wrote 2 papers:
- CSL-2015-LehtinenQ
- 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.