Volume 81; Issue 3

Information and Computation

Volume 81; Issue 3
1

An automata theoretic decision procedure for the propositional mu-calculus

Robert S. Streett, E.Allen Emerson
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 899 KB
english, 1989
3

An arithmetical hierarchy in propositional dynamic logic

Sorin Istrail
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 465 KB
english, 1989
4

Convex powerdomains II

Karel Hrbacek
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 1.51 MB
english, 1989
5

Parallei graph algorithms that are efficient on average

Don Coppersmith, Prabhakar Raghavan, Martin Tompa
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 820 KB
english, 1989
6

Faster optimal parallel prefix sums and list ranking

Richard Cole, Uzi Vishkin
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 1.04 MB
english, 1989
7

Linear-time simulation of multihead turing machines

W. Schnitzlein, H.-J. Stoss
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 565 KB
english, 1989
8

Parallel processing can be harmful: The unusual behavior of interpolation search

Dan E. Willard, John H. Reif
Journal:
Information and Computation
Year:
1989
Language:
english
File:
PDF, 865 KB
english, 1989
9

Author index for volume 81

Journal:
Information and Computation
Year:
1989
File:
PDF, 32 KB
1989