@article{Larsen-Skou/91,
AUTHOR = {Larsen, Kim G. and Skou, Arne},
TITLE = {Bisimulation through Probabilistic Testing},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {1},
PAGES = {1-28},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bhatt-Diks-Hagerup-Prasad-Radzik-Saxena/91,
AUTHOR = {Bhatt, P.C.P. and Diks, K. and Hagerup, T. and Prasad, V.C. and Radzik, T. and Saxena, S.},
TITLE = {Improved Deterministic Parallel Integer Sorting},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {1},
PAGES = {29-47},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Droste/91,
AUTHOR = {Droste, Manfred},
TITLE = {Universal Homogeneous Event Structures and Domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {1},
PAGES = {48-61},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gradel/91a,
AUTHOR = {Gr{\"a}del, Erich},
TITLE = {Simple Sentences That Are Hard to Decide},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {1},
PAGES = {62-82},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lubiw-Racz/91,
AUTHOR = {Lubiw, Anna and R{\'a}cz, Andr{\'a}s},
TITLE = {A Lower Bound for the Integer Element Distinctiveness Problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {1},
PAGES = {83-92},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wanke/91,
AUTHOR = {Wanke, Egon},
TITLE = {Algorithms for Graph Problems on {BNLC} Structured Graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {1},
PAGES = {93-122},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{de_Bakker/91,
AUTHOR = {de Bakker, J.W.},
TITLE = {Comparative Semantics for Flow of Control in Logic Programming without Logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {2},
PAGES = {123-179},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tiomkin-Makowsky/91,
AUTHOR = {Tiomkin, M.L. and Makowsky, J.A.},
TITLE = {Decidability of Finite Probablistic Propositional Dynamic Logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {2},
PAGES = {180-203},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Berardi/91,
AUTHOR = {Berardi, Stefano},
TITLE = {Retractions on dI--domains as a model for Type:Type},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {2},
PAGES = {204-231},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Waack-Krause/91,
AUTHOR = {Waack, Stephan and Krause, Matthias},
TITLE = {On Oblivious Branching Programs of Linear Length},
JOURNAL = {Inf.~Comput.},
VOLUME = {94},
NUMBER = {2},
PAGES = {232-249},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}