Theoretical Computer Science, Volume 103

Volume 103, Number 1, 1992

Selected Papers of the 7th Annual Symposium on Theoretical Aspects of Computer Science (STACS'90), Rouen, France, February 22-24, 1990

Richard Beigel, John Gill: Counting Classes: Thresholds, Parity, Mods, and Fewness. 3-23 BibTeX
Jin-yi Cai, Anne Condon, Richard J. Lipton: On Games of Incomplete Information. 25-38 BibTeX
Mireille Clerbout, Yves Roos: Semicommutations and Algebraic Languages. 39-49 BibTeX
Andrea Corradini, Ugo Montanari: An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. 51-106 BibTeX
Gautam Das, Deborah Joseph: Minimum Vertex Hulls for Polyhedral Domains. 107-135 BibTeX
Jean-Luc Lambert: Sorting the Sums (xi+yj) in O(n2) Comparisons. 137-141 BibTeX
Wolfgang Thomas: Infinite Trees and Automation-Definable Relations over omega-Words. 143-159 BibTeX

Michel Bauderon: Infinite Hypergraphs II: Systems of Recursive Equations. 165-190 BibTeX
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima: Infinity-Regular Temporal Logic and its Model Checking Problem. 191-204 BibTeX
Luigi Palopoli: Testing Logic Programs for Local Stratification. 205-234 BibTeX
Matthias Felleisen, Robert Hieb: The Revised Report on the Syntactic Theories of Sequential Control and State. 235-271 BibTeX
Masahito Kurihara, Azuma Ohuchi: Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. 273-282 BibTeX
Byeong Man Kim, Jung Wan Cho: A New Subsumption Method in the Connection Graph Proof Procedure. 283-309 BibTeX
Carl A. Gunter: The Mixed Powerdomain. 311-334 BibTeX
Andrea Maggiolo-Schettini, Józef Winkowski: Towards an Algebra for Timed Behaviours. 335-363 BibTeX
V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. 365-386 BibTeX
Harry G. Mairson: A Simple Proof of a Theorem of Statman. 387-394 BibTeX
Thomas Streicher: Independence of the Induction Principle and the Axiom of Choice in the Pure Calculus of Constructions. 395-408 BibTeX
Max Dauchet: Simulation of Turing Machines by a Regular Rewrite Rule. 409-420 BibTeX