researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Inf. Comput.
Home
Index
Info
Volume
Volume
71
, Issue
3
143
--
180
Hans Leo Bodlaender
,
Jan van Leeuwen
.
Simulation of Large Networks on Smaller Networks
181
--
185
Christos H. Papadimitriou
,
Mihalis Yannakakis
.
A Note on Succinct Representations of Graphs
186
--
217
Chilukuri K. Mohan
,
Mandayam K. Srivas
.
Function Definitions in Term Rewriting and Applicative Programming
218
--
230
Karel Culik II
,
Jozef Gruska
,
Arto Salomaa
.
Systolic Trellis Automata: Stability, Decidability and Complexity
231
--
243
Hans Heller
.
On Relativized Exponential and Probabilistic Complexity Classes
Volume
71
, Issue
1/2
1
--
32
Werner Damm
,
Andreas Goerdt
.
An Automata-Theoretical Characterization of the OI-Hierarchy
33
--
86
Hirofumi Yokouchi
.
Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models
87
--
94
Stanislav Zák
.
An Exponential Lower Bound for Real-Time Branching Programs
95
--
130
David B. MacQueen
,
Gordon D. Plotkin
,
Ravi Sethi
.
An Ideal Model for Recursive Polymorphic Types
131
--
142
Marek Karpinski
,
Rutger Verbeek
.
On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation