|
Journals in DBLP
- Patricia Bouyer, Antoine Petit
A Kleene/Büchi-like Theorem for Clock Languages. [Citation Graph (0, 0)][DBLP] Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:167-186 [Journal]
- Dietrich Kuske, Rémi Morin
Pomsets for Local Trace Languages. [Citation Graph (0, 0)][DBLP] Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:187-224 [Journal]
- Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
Black Box Checking. [Citation Graph (0, 0)][DBLP] Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:225-246 [Journal]
- Pascal Tesson, Denis Thérien
The Computing Power of Programs over Finite Monoids. [Citation Graph (0, 0)][DBLP] Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:247-258 [Journal]
- Igor Walukiewicz
Local Logics for Traces. [Citation Graph (0, 0)][DBLP] Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:259-290 [Journal]
|