Information and Computation
, Volume 130
Volume 130, Number 1, 10 October 1996
Stephen A. Fenner
,
Lance Fortnow
,
Lide Li
: Gap-Definability as a Closure Property. 1-17
BibTeX
Sanjay Jain
,
Arun Sharma
: Computational Limits on Team Identification of Languages. 19-60
BibTeX
Thomas Wilke
,
Haiseung Yoo
: Computing the Rabin Index of a Regular Language of Infinite Words. 61-70
BibTeX
Parosh Aziz Abdulla
,
Bengt Jonsson
: Undecidable Verification Problems for Programs with Unreliable Channels. 71-90
BibTeX
Carsten Damm
,
Markus Holzer
: Inductive Counting for Width-Restricted Branching Programs. 91-99
BibTeX
Volume 130, Number 2, 1 November 1996
Paul Beame
,
Allan Borodin
,
Prabhakar Raghavan
,
Walter L. Ruzzo
,
Martin Tompa
: Time-Space Tradeoffs for Undirected Graph Traversal by Graph Automata. 101-129
BibTeX
Farn Wang
: Parametric Timing Analysis for Real-Time Systems. 131-150
BibTeX
Raffaele Giancarlo
,
Roberto Grossi
: On the Construction of Classes of Suffix Trees for Square Matrices: Algorithms and Applications. 151-182
BibTeX
Véronique Bruyère
,
Clelia de Felice
: Any Lifting of a Trace Coding is a Word Coding. 183-193
BibTeX
Copyright ©
Sat May 16 23:59:58 2009 by
Michael Ley
(
ley@uni-trier.de
)