|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An algebraic characterization of some principal regulated rational cones |
Kuich, W. |
1982 |
25 | 3 |
p. 377-401 25 p. |
artikel |
|
| 2 | Author index for volume 25 |
1982 |
25 | 3 |
p. 436- 1 p. |
artikel |
||
| 3 | Classifying regular events in symbolic logic |
Thomas, Wolfgang |
1982 |
25 | 3 |
p. 360-376 17 p. |
artikel |
|
| 4 | Deterministic propositional dynamic logic: Finite models, complexity, and completeness |
Ben-Ari, Mordechai |
1982 |
25 | 3 |
p. 402-417 16 p. |
artikel |
|
| 5 | Expressiveness and the completeness of Hoare's logic |
Bergstra, J.A. |
1982 |
25 | 3 |
p. 267-284 18 p. |
artikel |
|
| 6 | Homomorphisms between models of parallel computation |
Kasai, Takumi |
1982 |
25 | 3 |
p. 285-331 47 p. |
artikel |
|
| 7 | Subcomplete generalizations of graph isomorphism |
Hoffmann, Christoph M. |
1982 |
25 | 3 |
p. 332-359 28 p. |
artikel |
|
| 8 | The copying power of one-state tree transducers |
Engelfriet, Joost |
1982 |
25 | 3 |
p. 418-435 18 p. |
artikel |
8 gevonden resultaten