`Travelled to:`

1 × Austria

1 × Germany

1 × Latvia

`Collaborated with:`

C.Riveros W.Charatonik E.Kieronski C.Barloy N.Fijalkow N.Lhote S.Benaim M.Benedikt R.Lenhardt J.Worrell

`Talks about:`

logic (4) determinist (1) character (1) copyless (1) automata (1) variabl (1) transit (1) sequenc (1) complex (1) toward (1)

## Person: Filip Mazowiecki

### DBLP: Mazowiecki:Filip

### Contributed to:

### Wrote 4 papers:

- CSL-2015-MazowieckiR #automaton #logic #towards
- Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (FM, CR), pp. 144–159.
- LICS-CSL-2014-CharatonikKM #decidability #logic #transitive
- Decidability of weak logics with deterministic transitive closure (WC, EK, FM), p. 10.
- ICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
- Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
- CSL-2020-BarloyFLM #linear #robust #sequence
- A Robust Class of Linear Recurrence Sequences (CB, NF, NL, FM), p. 16.