Theoretical Computer Science, Volume 107

Volume 107, Number 1, 1993

• Carme Àlvarez, Birgit Jenner: A Very Hard log-Space Counting Class. 3-30 BibTeX
• François Bédard, François Lemieux, Pierre McKenzie: Extensions to Barrington's M-Program Model. 31-61 BibTeX
• Rafi Heiman, Ilan Newman, Avi Wigderson: On Read-Once Threshold Formulae and Their Randomized Decision in Tree Complexity. 63-76 BibTeX
• Klaus-Jörn Lange: Unambiguity of Circuits. 77-94 BibTeX
• Jack H. Lutz, William J. Schmidt: Circuit Size Relative to Pseudorandom Oracles. 95-120 BibTeX
• Yishay Mansour, Noam Nisan, Prasoon Tiwari: The Computational Complexity of Universal Hashing. 121-133 BibTeX
• Noam Nisan: On Read-Once vs. Multiple Access to Randomness in Logspace. 135-144 BibTeX
• Alessandro Panconesi, Desh Ranjan: Quantifiers and Approximation. 145-163 BibTeX

Volume 107, Number 2, 1993

• Bart Jacobs: Comprehension Categories and the Semantics of Type Dependency. 169-207 BibTeX
• Marco Bellia, M. Eugenia Occhiuto: C-Expressions: A Variable-Free Calculus for Equational Logic Programming. 209-252 BibTeX
• Sachio Hirokawa: Principal Types of BCK-lambda-Terms. 253-276 BibTeX
• Agostino Cortesi, Gilberto Filé: Graph Properties for Normal Logic Programs. 277-303 BibTeX
• Michael G. Main, David L. Black: Semantic Models for Total Correctness and Fairness. 305-332 BibTeX
• Vugranam C. Sreedhar, Kazem Taghva: Capturing Strong Reduction in Director String Calculus. 333-347 BibTeX
• Gilles Dowek: The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable. 349-356 BibTeX
• Robin Milner, Faron Moller: Unique Decomposition of Processes. 357-363 BibTeX