Travelled to:1 × Taiwan
Collaborated with:J.Hromkovic R.Královic R.Královic
Talks about:nondetermin (2) determin (2) automata (2) formulæ (2) repres (2) state (2) logic (2) mean (2) way (2) two (2)
Person: Richard Stefanec
DBLP: Stefanec:Richard
Contributed to:
20122013Wrote 2 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.