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:
2015
2014
20132020Wrote 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.