Information and Computation
, Volume 170
Volume 170, Number 1, October 2001
Markus Lohrey
: Confluence Problems for Trace Rewriting Systems. 1-25
BibTeX
Vladimír Glasnák
: Sparse Sets and Collapse of Complexity Classes. 26-48
BibTeX
Andrea Asperti
,
Harry G. Mairson
: Parallel Beta Reduction Is Not Elementary Recursive. 49-80
BibTeX
Yijie Han
: Improved Fast Integer Sorting in Linear Space. 81-94
BibTeX
Arend Rensink
,
Roberto Gorrieri
: Vertical Implementation. 95-133
BibTeX
Volume 170, Number 2, November 2001
Susanne Albers
,
Moses Charikar
,
Michael Mitzenmacher
:
Delayed Information and Action in On-Line Algorithms.
135-152
Electronic Edition
(link)
BibTeX
François Pottier
:
Simplifying Subtyping Constraints: A Theory.
153-183
Electronic Edition
(link)
BibTeX
Dahlia Malkhi
,
Michael K. Reiter
,
Avishai Wool
,
Rebecca N. Wright
:
Probabilistic Quorum Systems.
184-206
Electronic Edition
(link)
BibTeX
Roberto Bruni
,
José Meseguer
,
Ugo Montanari
,
Vladimiro Sassone
:
Functorial Models for Petri Nets.
207-236
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:00:01 2009 by
Michael Ley
(
ley@uni-trier.de
)