`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:

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