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
91
, Issue
2
155
--
171
P. S. Gopalakrishnan
,
I. V. Ramakrishnan
,
Laveen N. Kanal
.
Approximate Algorithms for the Knapsack Problem on Parallel Computers
172
--
176
Lajos Rónyai
.
Computing the Order of Centralizers in Linear Groups
177
--
188
Marek Chrobak
,
Howard J. Karloff
,
Tomasz Radzik
.
Connectivity vs. Reachability
189
--
204
N. G. de Bruijn
.
Telescopic Mappings in Typed Lambda Calculus
205
--
231
Brian A. Coan
,
Cynthia Dwork
.
Simultaneity Is Harder than Agreement
232
--
258
Kim Guldstrand Larsen
,
Glynn Winskel
.
Using Information Systems to Solve Recursive Domain Equations
259
--
273
Stephen J. Bellatoni
.
Parallel Random Access Machines with Bounded Memory Wordsize
Volume
91
, Issue
1
1
--
14
Matthias Krause
.
Lower Bounds for Depth-Restricted Branching Programs
15
--
54
Nicole Bidoit
,
Christine Froidevaux
.
General Logical Databases and Programs: Default Logic Semantics and Stratification
55
--
85
Roberto M. Amadio
.
Recursion over Realizability Structures
86
--
102
Samuel R. Buss
,
Louise Hay
.
On Truth-Table Reducibility to SAT
103
--
127
Kirk Pruhs
,
Udi Manber
.
The Complexity of Controlled Selection
128
--
141
Dan Geiger
,
Azaria Paz
,
Judea Pearl
.
Axioms and Algorithms for Inferences Involving Probabilistic Independence
142
--
154
Joachim von zur Gathen
,
Gadiel Seroussi
.
Boolean Circuits Versus Arithmetic Circuits