Richard Stefanec

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Finite Automaton

Situation Calculus

Finite State Automaton

Top Venues

Developments in Language Theory

Int. J. Found. Comput. Sci.

Publications

Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec
Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ. Int. J. Found. Comput. Sci. 24 (7) (2013)
Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec
Determinism vs. Nondeterminism for Two-Way Automata - Representing the Meaning of States by Logical Formulæ. Developments in Language Theory (2012)