|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Branching-Time Temporal Logic and Tree Automata |
Kupferman, Orna |
1996 |
125 | 1 |
p. 62-69 8 p. |
artikel |
|
| 2 | Completeness and Weak Completeness under Polynomial-Size Circuits |
Juedes, David W. |
1996 |
125 | 1 |
p. 13-31 19 p. |
artikel |
|
| 3 | Complexity of Generalized Satisfiability Counting Problems |
Creignou, Nadia |
1996 |
125 | 1 |
p. 1-12 12 p. |
artikel |
|
| 4 | Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems |
Giammarresi, Dora |
1996 |
125 | 1 |
p. 32-45 14 p. |
artikel |
|
| 5 | On Random Hard Sets for NP |
Book, Ronald V. |
1996 |
125 | 1 |
p. 70-76 7 p. |
artikel |
|
| 6 | Scheduling Jobs Using Common Resources |
Bar-Ilan, Judit |
1996 |
125 | 1 |
p. 52-61 10 p. |
artikel |
|
| 7 | The Undecidability of Second Order Multiplicative Linear Logic |
Lafont, Yves |
1996 |
125 | 1 |
p. 46-51 6 p. |
artikel |
7 gevonden resultaten