In the present work, we lay out a new theory showing that all automata c...
The states of a deterministic finite automaton A can be identified with
...
In the present work, we study the hierarchy of p-sortable languages:
reg...
In this paper we consider Modal Team Logic, a generalization of Classica...