-
1
Complexity of atoms, combinatorially
Veröffentlicht in Information processing letters
VolltextArtikel -
2
The ordinal generated by an ordinal grammar is computable
Veröffentlicht in Theoretical computer science
VolltextArtikel -
3
Recognizing Union-Find trees is NP-complete
Veröffentlicht in Information processing letters
VolltextArtikel -
4
-
5
-
6
DFS is Unsparsable and Lookahead Can Help in Maximal Matching
Veröffentlicht in Acta cybernetica (Szeged)
VolltextArtikel -
7
-
8
Regular Expressions for Muller Context-Free Languages
Veröffentlicht in Acta cybernetica (Szeged)
VolltextArtikel -
9
Synchronizing weighted automata
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Proceedings of the 16th International Conference on Automata and Formal Languages
Veröffentlicht in arXiv.org
VolltextArtikel -
18
Improved upper bounds on synchronizing nondeterministic automata
Veröffentlicht in Information processing letters
VolltextArtikel -
19
-
20
A family of temporal logics on finite trees
Veröffentlicht in Publicationes mathematicae (Debrecen)
VolltextArtikel