|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A simple undecidable problem: Existential agreement of inverses of two morphisms on a regular language |
Karhumäki, J. |
1986 |
32 | 3 |
p. 315-322 8 p. |
artikel |
|
| 2 | Author index for volume 32 |
1986 |
32 | 3 |
p. 429- 1 p. |
artikel |
||
| 3 | Conditional rewrite rules: Confluence and termination |
Bergstra, J.A. |
1986 |
32 | 3 |
p. 323-362 40 p. |
artikel |
|
| 4 | Domino-tiling games |
Chlebus, Bogdan S. |
1986 |
32 | 3 |
p. 374-392 19 p. |
artikel |
|
| 5 | Effective choice functions and index sets |
Owings Jr., James C. |
1986 |
32 | 3 |
p. 370-373 4 p. |
artikel |
|
| 6 | Efficient symbolic analysis of programs |
Reif, John H. |
1986 |
32 | 3 |
p. 280-314 35 p. |
artikel |
|
| 7 | Finding small simple cycle separators for 2-connected planar graphs |
Miller, Gary L. |
1986 |
32 | 3 |
p. 265-279 15 p. |
artikel |
|
| 8 | First-order logic and star-free sets |
Perrin, Dominique |
1986 |
32 | 3 |
p. 393-406 14 p. |
artikel |
|
| 9 | “Global” graph problems tend to be intractable |
Lakshmipathy, N. |
1986 |
32 | 3 |
p. 407-428 22 p. |
artikel |
|
| 10 | Uniform normal form for general time-bounded complexity classes |
Hodgson, Bernard R. |
1986 |
32 | 3 |
p. 363-369 7 p. |
artikel |
10 gevonden resultaten