|
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 | A YACC extension for LRR grammar parsing |
Seite, B. |
1987 |
52 | 1-2 |
p. 91-143 53 p. |
artikel |
|
| 2 | Editorial Board |
1987 |
52 | 1-2 |
p. ii-iii nvt p. |
artikel |
||
| 3 | Factoring polynomials and primitive elements for special primes |
von zur Gathen, Joachim |
1987 |
52 | 1-2 |
p. 77-89 13 p. |
artikel |
|
| 4 | On helping by robust oracle machines |
Ko, Ker-I |
1987 |
52 | 1-2 |
p. 15-36 22 p. |
artikel |
|
| 5 | On “on graph rewritings” |
Kennaway, Richard |
1987 |
52 | 1-2 |
p. 37-58 22 p. |
artikel |
|
| 6 | On regular trace languages |
Sakarovitch, Jacques |
1987 |
52 | 1-2 |
p. 59-75 17 p. |
artikel |
|
| 7 | Satisfiability in many-valued sentential logic is NP-complete |
Mundici, Daniele |
1987 |
52 | 1-2 |
p. 145-153 9 p. |
artikel |
|
| 8 | The parallel complexity of deadlock detection |
Spirakis, Paul |
1987 |
52 | 1-2 |
p. 155-163 9 p. |
artikel |
|
| 9 | Third annual symposium on logic in computer science |
1987 |
52 | 1-2 |
p. 173-175 3 p. |
artikel |
||
| 10 | Topological characterizations of infinite tree languages |
Moriya, Tetsuo |
1987 |
52 | 1-2 |
p. 165-171 7 p. |
artikel |
|
| 11 | Word operation definable in the typed λ-calculus |
Zaionc, Marek |
1987 |
52 | 1-2 |
p. 1-14 14 p. |
artikel |
11 gevonden resultaten