


default search action
Information and Computation, Volume 94
Volume 94, Number 1, 1991
- Kim Guldstrand Larsen, Arne Skou

:
Bisimulation through Probabilistic Testing. 1-28 - P. C. P. Bhatt, Krzysztof Diks, Torben Hagerup, V. C. Prasad, Tomasz Radzik, Sanjeev Saxena:

Improved Deterministic Parallel Integer Sorting. 29-47 - Manfred Droste:

Universal Homogeneous Event Structures and Domains. 48-61 - Erich Grädel:

Simple Sentences That Are Hard to Decide. 62-82 - Anna Lubiw, András Rácz:

A Lower Bound for the Integer Element Distinctness Problem. 83-92 - Egon Wanke:

Algorithms for Graph Problems on BNLC Structured Graphs. 93-122
Volume 94, Number 2, 1991
- J. W. de Bakker:

Comparative Semantics for Flow of Control in Logic Programming without Logic. 123-179 - Michael L. Tiomkin, Johann A. Makowsky:

Decidability of Finite Probablistic Propositional Dynamic Logics. 180-203 - Stefano Berardi:

Retractions on dI-domains as a model for Type:Type. 204-231 - Stephan Waack, Matthias Krause:

On Oblivious Branching Programs of Linear Length. 232-249

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














