Volume 25; Issue 3

Journal of Computer and System Sciences

Volume 25; Issue 3

1

Expressiveness and the completeness of Hoare's logic

J.A. Bergstra, J.V. Tucker

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 984 KB

english, 1982

2

Homomorphisms between models of parallel computation

Takumi Kasai, Raymond E. Miller

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 2.22 MB

english, 1982

3

Subcomplete generalizations of graph isomorphism

Christoph M. Hoffmann

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.77 MB

english, 1982

4

Classifying regular events in symbolic logic

Wolfgang Thomas

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.01 MB

english, 1982

5

An algebraic characterization of some principal regulated rational cones

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.36 MB

english, 1982

6

Deterministic propositional dynamic logic: Finite models, complexity, and completeness

Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 911 KB

english, 1982

7

The copying power of one-state tree transducers

Joost Engelfriet, Sven Skyum

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.19 MB

english, 1982

8

Author index for volume 25

Journal:

Journal of Computer and System Sciences

Year:

1982

File:

PDF, 28 KB

1982