@article{Fenner-Fortnow-Li/96,
AUTHOR = {Fenner, Stephen and Fortnow, Lance and Li, Lide},
TITLE = {Gap-definability as a closure property},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {1-17},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Jain-Sharma/96a,
AUTHOR = {Jain, Sanjay and Sharma, Arun},
TITLE = {Computational limits on team identification of languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {19-60},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wilke-Yoo/96,
AUTHOR = {Wilke, Thomas and Yoo, Haiseung},
TITLE = {Computing the Rabin index of a regular language of infinite words},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {61-70},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abdulla-Jonsson/96,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Undecidable verification problems for programs with unreliable channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {71-90},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Damm-Holzer/96,
AUTHOR = {Damm, Carsten and Holzer, Markus},
TITLE = {Inductive counting for width-restricted branching programs},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {1},
PAGES = {91-99},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Beame-Borodin-Raghavan-Ruzzo-Tompa/96,
AUTHOR = {Beame, Paul and Borodin, Allan and Raghavan, Prabhakar and Ruzzo, Walter L. and Tompa, Martin},
TITLE = {Time-space tradeoffs for undirected graph traversal by graph automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {101-129},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wang/96f,
AUTHOR = {Wang, Farn},
TITLE = {Parametric timing analysis for real-time systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {131-150},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Giancarlo-Grossi/96,
AUTHOR = {Giancarlo, Raffaele and Grossi, Roberto},
TITLE = {On the construction of classes of suffix trees for square matrices: Algorithms and applications},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {151-182},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bruyere-Felice/96,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and Felice, Clelia de},
TITLE = {Any lifting of a trace coding is a word coding},
JOURNAL = {Inf.~Comput.},
VOLUME = {130},
NUMBER = {2},
PAGES = {183-193},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}