@article{Abadi-Halpern/94,
AUTHOR = {Abadi, Mart{\'i}n and Halpern, Joseph Y.},
TITLE = {Decidability and expressiveness for first-order logics of probability},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {1-36},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Levcopoulos-Petersson/94,
AUTHOR = {Levcopoulos, Christos and Petersson, Ola},
TITLE = {Sorting shuffled monotone sequences},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {37-50},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Grolmusz/94,
AUTHOR = {Grolmusz, Vince},
TITLE = {The BNS lower bound for multi-party protocols is nearly optimal},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {51-54},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hennessy/94,
AUTHOR = {Hennessy, M.},
TITLE = {A fully abstract denotational model for higher-order processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {55-95},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Parberry/94,
AUTHOR = {Parberry, Ian},
TITLE = {A guide for new referees in Theoretical Computer Science},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {96-116},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yan/94a,
AUTHOR = {Yan, P.Y.},
TITLE = {Exponential size lower bounds for some depth three circuits},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {117-130},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Pierce/94,
AUTHOR = {Pierce, Benjamin C.},
TITLE = {Bounded quantification is undecidable},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {1},
PAGES = {131-165},
YEAR = {1994, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Comon-Delor/94,
AUTHOR = {Comon, Hubert and Delor, Catherine},
TITLE = {Equational formulae with membership constraints},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {2},
PAGES = {167-216},
YEAR = {1994, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Allender-Hertrampf/94,
AUTHOR = {Allender, Eric and Hertrampf, Ulrich},
TITLE = {Depth reduction for circuits of unbounded fan-in},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {2},
PAGES = {217-238},
YEAR = {1994, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dimopoulos-Magirou/94,
AUTHOR = {Dimopoulos, Yannis and Magirou, Vangelis},
TITLE = {A graph-theoretic approach to default logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {2},
PAGES = {239-256},
YEAR = {1994, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Paturi-Saks/94,
AUTHOR = {Paturi, Ramamohan and Saks, Michael E.},
TITLE = {Approximating threshold circuits by rational functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {2},
PAGES = {257-272},
YEAR = {1994, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Henzinger-Manna-Pnueli/94,
AUTHOR = {Henzinger, Thomas A. and Manna, Zohar and Pnueli, Amir},
TITLE = {Temporal proof methodologies for timed transition systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {112},
NUMBER = {2},
PAGES = {273-337},
YEAR = {1994, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}