JCSS,
Volume 30
Volume 30,
Number 1,
February 1985
- E. Allen Emerson, Joseph Y. Halpern:
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.
1-24 BibTeX
- Karl M. Schimpf, Jean H. Gallier:
Tree Pushdown Automata.
25-40 BibTeX
- John H. Reif, A. Prasad Sistla:
A Multiprocess Network Logic with Temporal and Spatial Modalities.
41-53 BibTeX
- Norishige Chiba, Takao Nishizeki, Shigenobu Abe, Takao Ozawa:
A Linear Algorithm for Embedding Planar Graphs Using PQ-Trees.
54-76 BibTeX
- Marek Chrobak:
Variations on the Technique of Duris and Galil.
77-85 BibTeX
- Joost Engelfriet:
Hierarchies of Hyper-AFLs.
86-115 BibTeX
- Richard E. Ladner, Jeffrey K. Norman:
Solitaire Automata.
116-129 BibTeX
- Allan Borodin, John E. Hopcroft:
Routing, Merging, and Sorting on Parallel Models of Computation.
130-145 BibTeX
Volume 30,
Number 2,
April 1985
Selected Papers of STOC 1983
Volume 30,
Number 3,
June 1985
Copyright © Wed Jul 23 16:30:17 2008
by Michael Ley (ley@uni-trier.de)
