1 | -- | 24 | E. Allen Emerson, Joseph Y. Halpern. Decision Procedures and Expressiveness in the Temporal Logic of Branching Time |
25 | -- | 40 | Karl M. Schimpf, Jean H. Gallier. Tree Pushdown Automata |
41 | -- | 53 | John H. Reif, A. Prasad Sistla. A Multiprocess Network Logic with Temporal and Spatial Modalities |
54 | -- | 76 | Norishige Chiba, Takao Nishizeki, Shigenobu Abe, Takao Ozawa. A Linear Algorithm for Embedding Planar Graphs Using PQ-Trees |
77 | -- | 85 | Marek Chrobak. Variations on the Technique of Duris and Galil |
86 | -- | 115 | Joost Engelfriet. Hierarchies of Hyper-AFLs |
116 | -- | 129 | Richard E. Ladner, Jeffrey K. Norman. Solitaire Automata |
130 | -- | 145 | Allan Borodin, John E. Hopcroft. Routing, Merging, and Sorting on Parallel Models of Computation |