|
Journals in DBLP
Inf. Comput. 1989, volume: 81, number: 3
- Robert S. Streett, E. Allen Emerson
An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:249-264 [Journal]
- Géraud Sénizergues
Church-Rosser Controller Rewriting Systems and Equivalence problems for Deterministic Context-Free Languages [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:265-279 [Journal]
- Sorin Istrail
An Arithmetical Hierarchy in Propositional Dynamic Logic [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:280-289 [Journal]
- Karel Hrbacek
Convex Powerdomains II [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:290-317 [Journal]
- Don Coppersmith, Prabhakar Raghavan, Martin Tompa
Parallel Graph Algorithms That Are Efficient on Average [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:318-333 [Journal]
- Richard Cole, Uzi Vishkin
Faster Optimal Parallel Prefix Sums and List Ranking [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:334-352 [Journal]
- H.-J. Stoß, W. Schnitzlein
Linear-Time Simulation of Multihead Turing Machines [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:353-363 [Journal]
- Dan E. Willard, John H. Reif
Parallel Processing Can Be Harmful: The Unusual Behavior of Interpolation Search [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:364-379 [Journal]
|