|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An algebraic characterization of some principal regulated rational cones |
Kuich, W. |
1982 |
25 | 3 |
p. 377-401 25 p. |
article |
|
| 2 | Author index for volume 25 |
1982 |
25 | 3 |
p. 436- 1 p. |
article |
||
| 3 | Classifying regular events in symbolic logic |
Thomas, Wolfgang |
1982 |
25 | 3 |
p. 360-376 17 p. |
article |
|
| 4 | Deterministic propositional dynamic logic: Finite models, complexity, and completeness |
Ben-Ari, Mordechai |
1982 |
25 | 3 |
p. 402-417 16 p. |
article |
|
| 5 | Expressiveness and the completeness of Hoare's logic |
Bergstra, J.A. |
1982 |
25 | 3 |
p. 267-284 18 p. |
article |
|
| 6 | Homomorphisms between models of parallel computation |
Kasai, Takumi |
1982 |
25 | 3 |
p. 285-331 47 p. |
article |
|
| 7 | Subcomplete generalizations of graph isomorphism |
Hoffmann, Christoph M. |
1982 |
25 | 3 |
p. 332-359 28 p. |
article |
|
| 8 | The copying power of one-state tree transducers |
Engelfriet, Joost |
1982 |
25 | 3 |
p. 418-435 18 p. |
article |
8 results found