@article{Alvarez-Jenner/93,
AUTHOR = {{\'A}lvarez, Carme and Jenner, Birgit},
TITLE = {A very hard log-space counting class},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {3-30},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bedard-Lemieux-McKenzie/93,
AUTHOR = {B{\'e}dard, Fran{\c{c}}ois and Lemieux, Fran{\c{c}}ois and McKenzie, Pierre},
TITLE = {Extensions to Barrington's M-program model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {31-61},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Heiman-Newman-Wigderson/93,
AUTHOR = {Heiman, Rafi and Newman, Ilan and Wigderson, Avi},
TITLE = {On read-once threshold formulae and their randomized decision tree complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {63-76},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lange/93a,
AUTHOR = {Lange, Klaus-J{\"o}rn},
TITLE = {Unambiguity of circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {77-94},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lutz-Schmidt/93,
AUTHOR = {Lutz, Jack H. and Schmidt, William J.},
TITLE = {Circuit size relative to pseudorandom oracles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {95-120},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Mansour-Nisan-Tiwari/93,
AUTHOR = {Mansour, Yishay and Nisan, Noam and Tiwari, Prasoon},
TITLE = {The computational complexity of universal hashing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {121-133},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Nisan/93,
AUTHOR = {Nisan, Noam},
TITLE = {On read-once vs.\ multiple access to randomness in logspace},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {135-144},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Panconesi-Ranjan/93,
AUTHOR = {Panconesi, Alessandro and Ranjan, Desh},
TITLE = {Quantifiers and approximation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {145-163},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jacobs/93,
AUTHOR = {Jacobs, Bart},
TITLE = {Comprehension categories and the semantics of type dependency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {169-207},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bellia-Occhiuto/93,
AUTHOR = {Bellia, Marco and Occhiuto, M. Eugenia},
TITLE = {C-expressions: a variable-free calculus for equational logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {209-252},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hirokawa/93,
AUTHOR = {Hirokawa, Sachio},
TITLE = {Principal types of BCK-lambda-terms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {253-276},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Cortesi-File/93,
AUTHOR = {Cortesi, Agostino and Fil{\'e}, Gilberto},
TITLE = {Graph properties for normal logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {277-303},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Main-Black/93,
AUTHOR = {Main, Michael G. and Black, David L.},
TITLE = {Semantic models for total correctness and fairness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {305-332},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sreedhar-Taghva/93,
AUTHOR = {Sreedhar, Vugranam and Taghva, Kazem},
TITLE = {Capturing strong reduction in director string calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {333-347},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dowek/93,
AUTHOR = {Dowek, Gilles},
TITLE = {The undecidability of pattern matching in calculi where primitive recursive functions are representable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {349-356},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Milner-Moller/93,
AUTHOR = {Milner, Robin and Moller, Faron},
TITLE = {Unique decomposition of processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {357-363},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}