Information and Computation, Volume 94

Volume 94, Number 1, 1991

Kim Guldstrand Larsen, Arne Skou: Bisimulation through Probabilistic Testing. 1-28 BibTeX
P. C. P. Bhatt, Krzysztof Diks, Torben Hagerup, V. C. Prasad, Tomasz Radzik, Sanjeev Saxena: Improved Deterministic Parallel Integer Sorting. 29-47 BibTeX
Manfred Droste: Universal Homogeneous Event Structures and Domains. 48-61 BibTeX
Erich Grädel: Simple Sentences That Are Hard to Decide. 62-82 BibTeX
Anna Lubiw, András Rácz: A Lower Bound for the Integer Element Distinctiveness Problem. 83-92 BibTeX
Egon Wanke: Algorithms for Graph Problems on BNLC Structured Graphs. 93-122 BibTeX

J. W. de Bakker: Comparative Semantics for Flow of Control in Logic Programming without Logic. 123-179 BibTeX
Michael L. Tiomkin, Johann A. Makowsky: Decidability of Finite Probablistic Propositional Dynamic Logics. 180-203 BibTeX
Stefano Berardi: Retractions on dI-domains as a model for Type:Type. 204-231 BibTeX
Stephan Waack, Matthias Krause: On Oblivious Branching Programs of Linear Length. 232-249 BibTeX