|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Component composition preserving behavioral contracts based on communication traces |
Bailly, Arnaud |
2006 |
363 | 2 |
p. 108-123 16 p. |
artikel |
|
| 2 | Deterministic catalytic systems are not universal |
Ibarra, Oscar H. |
2006 |
363 | 2 |
p. 149-161 13 p. |
artikel |
|
| 3 | Editorial |
Farré, Jacques |
2006 |
363 | 2 |
p. 107- 1 p. |
artikel |
|
| 4 | Experiments with deterministic ω -automata for formulas of linear temporal logic |
Klein, Joachim |
2006 |
363 | 2 |
p. 182-195 14 p. |
artikel |
|
| 5 | Incremental construction of minimal deterministic finite cover automata |
Câmpeanu, Cezar |
2006 |
363 | 2 |
p. 135-148 14 p. |
artikel |
|
| 6 | Observations on determinization of Büchi automata |
Althoff, Christoph Schulte |
2006 |
363 | 2 |
p. 224-233 10 p. |
artikel |
|
| 7 | On size reduction techniques for multitape automata |
Tamm, Hellis |
2006 |
363 | 2 |
p. 234-246 13 p. |
artikel |
|
| 8 | Prime normal form and equivalence of simple grammars |
Bastien, Cédric |
2006 |
363 | 2 |
p. 124-134 11 p. |
artikel |
|
| 9 | Restarting automata with restricted utilization of auxiliary symbols |
Jurdziński, Tomasz |
2006 |
363 | 2 |
p. 162-181 20 p. |
artikel |
|
| 10 | The complexity of tree automata and XPath on grammar-compressed trees |
Lohrey, Markus |
2006 |
363 | 2 |
p. 196-210 15 p. |
artikel |
|
| 11 | The structure of subword graphs and suffix trees of Fibonacci words |
Rytter, Wojciech |
2006 |
363 | 2 |
p. 211-223 13 p. |
artikel |
11 gevonden resultaten