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
170
, Issue
2
135
--
152
Susanne Albers
,
Moses Charikar
,
Michael Mitzenmacher
.
Delayed Information and Action in On-Line Algorithms
153
--
183
François Pottier
.
Simplifying Subtyping Constraints: A Theory
184
--
206
Dahlia Malkhi
,
Michael K. Reiter
,
Avishai Wool
,
Rebecca N. Wright
.
Probabilistic Quorum Systems
207
--
236
Roberto Bruni
,
José Meseguer
,
Ugo Montanari
,
Vladimiro Sassone
.
Functorial Models for Petri Nets
Volume
170
, Issue
1
1
--
25
Markus Lohrey
.
Confluence Problems for Trace Rewriting Systems
26
--
48
Vladimír Glasnák
.
Sparse Sets and Collapse of Complexity Classes
49
--
80
Andrea Asperti
,
Harry G. Mairson
.
Parallel Beta Reduction Is Not Elementary Recursive
81
--
94
Yijie Han
.
Improved Fast Integer Sorting in Linear Space
95
--
133
Arend Rensink
,
Roberto Gorrieri
.
Vertical Implementation