Journal: Inf. Comput.

Volume 71, Issue 3

143 -- 180Hans Leo Bodlaender, Jan van Leeuwen. Simulation of Large Networks on Smaller Networks
181 -- 185Christos H. Papadimitriou, Mihalis Yannakakis. A Note on Succinct Representations of Graphs
186 -- 217Chilukuri K. Mohan, Mandayam K. Srivas. Function Definitions in Term Rewriting and Applicative Programming
218 -- 230Karel Culik II, Jozef Gruska, Arto Salomaa. Systolic Trellis Automata: Stability, Decidability and Complexity
231 -- 243Hans Heller. On Relativized Exponential and Probabilistic Complexity Classes

Volume 71, Issue 1/2

1 -- 32Werner Damm, Andreas Goerdt. An Automata-Theoretical Characterization of the OI-Hierarchy
33 -- 86Hirofumi Yokouchi. Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models
87 -- 94Stanislav Zák. An Exponential Lower Bound for Real-Time Branching Programs
95 -- 130David B. MacQueen, Gordon D. Plotkin, Ravi Sethi. An Ideal Model for Recursive Polymorphic Types
131 -- 142Marek Karpinski, Rutger Verbeek. On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation