Theoretical Computer Science, Volume 97

Volume 97, Number 1, 1992

Jean-Yves Girard, Andre Scedrov, Philip J. Scott: Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. 1-66 BibTeX
Steven M. German: Semantics and Reasoning with Free Procedures. 67-81 BibTeX
Jean Perraud, Olivier Roux, Marc Huou: Operational Semantics of a Kernel of the Language ELECTRE. 83-103 BibTeX
Angelo Monfroglio: Integer Programs for Logic Constraint Satisfaction. 105-130 BibTeX
Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz: Fairness, Distances and Degrees. 131-142 BibTeX
Stefano Baratella: A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses. 143-156 BibTeX
Trudy Weibel: Extension of Combinatory Logic to a Theory of Combinatory Representation. 157-173 BibTeX
Kees Doets: A Slight Strengthening of a Theorem of Blair and Kunen. 175-181 BibTeX

Mark W. Krentel: Generalizations of Opt P to the Polynomial Hierarchy. 183-198 BibTeX
Osamu Watanabe, Shouwen Tang: On Polynomial-Time Turing and Many-One Completeness in PSPACE. 199-215 BibTeX
Heekeun Yoo, Kosaburo Hashiguchi: Extended Regular Expressions of Arbitrary Star Degrees. 217-231 BibTeX
David E. Muller, Ahmed Saoudi, Paul E. Schupp: Alternating Automata, the Weak Monadic Theory of Trees and its Complexity. 233-244 BibTeX
Georg Karner: Nivat's Theorem for Pushdown Transducers. 245-262 BibTeX
Richard A. Shore, Theodore A. Slaman: The p-T Degrees of the Recursive Sets: Lattice Embeddings, Extensions of Embeddings and the Two-Quantifier Theory. 263-284 BibTeX
Juraj Hromkovic, Sergej A. Lozkin, Andrej I. Rybko, Alexander A. Sapozhenko, Nadezda A. Skalikova: Lower Bounds on the Area Complexity of Boolean Circuits. 285-300 BibTeX
Giovanna Guaiana, Antonio Restivo, Sergio Salemi: Star-Free Trace Languages. 301-311 BibTeX