Travelled to:1 × Switzerland
1 × Taiwan
Collaborated with:R.Královic J.Hromkovic R.Stefanec H.Böckenhauer D.Komm
Talks about:nondetermin (2) determin (2) automata (2) formulæ (2) repres (2) state (2) logic (2) mean (2) way (2) two (2)
Person: Rastislav Královic
DBLP: Kr=aacute=lovic:Rastislav
Contributed to:
20122013
2011Wrote 3 papers:
- DLT-2012-HromkovicKKS #automaton #logic #nondeterminism #representation
- Determinism vs. Nondeterminism for Two-Way Automata — Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 24–39.
- DLT-J-2012-HromkovicKKS13 #automaton #logic #nondeterminism #representation
- Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 955–978.
- ICALP-v1-2011-BockenhauerKKK #complexity #on the #problem
- On the Advice Complexity of the k-Server Problem (HJB, DK, RK, RK), pp. 207–218.