Volume 46; Issue 3

Journal of Computer and System Sciences

Volume 46; Issue 3
1

On the expressive power of temporal logic

Joëlle Cohen, Dominique Perrin, Jean-Eric Pin
Journal:
Journal of Computer and System Sciences
Year:
1993
Language:
english
File:
PDF, 1.28 MB
english, 1993
2

A complexity theory for feasible closure properties

Mitsunori Ogiwara, Lane A. Hemachandra
Journal:
Journal of Computer and System Sciences
Year:
1993
Language:
english
File:
PDF, 1.94 MB
english, 1993
3

Graph theoretic analysis of PLA folding heuristics

S.S. Ravi, Errol L. Lloyd
Journal:
Journal of Computer and System Sciences
Year:
1993
Language:
english
File:
PDF, 1.36 MB
english, 1993
5

Collapsing degrees via strong computation

Lane A. Hemachandra, Albrecht Hoeno
Journal:
Journal of Computer and System Sciences
Year:
1993
Language:
english
File:
PDF, 1.17 MB
english, 1993
6

Matrix and matricial iteration theories, Part I

Stephen L. Bloom, Zoltán Ésik
Journal:
Journal of Computer and System Sciences
Year:
1993
Language:
english
File:
PDF, 1.08 MB
english, 1993
7

Matrix and matricial iteration theories, Part II

Stephen L. Bloom, Zoltán Ésik
Journal:
Journal of Computer and System Sciences
Year:
1993
Language:
english
File:
PDF, 1.30 MB
english, 1993
8

Author index for volume 46

Journal:
Journal of Computer and System Sciences
Year:
1993
File:
PDF, 33 KB
1993