Theoretical Computer Science, Volume 176

Volume 176, Numbers 1-2, 20 April 1997

• Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark:
  Composition and Behaviors of Probabilistic I/O Automata. 1-38
  
• Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
  A Symbolic Reachability Graph for Coloured Petri Nets. 39-65
  
• Hubert Comon, Ralf Treinen:
  The First-Order Theory of Lexicographic Path Orderings is Undecidable. 67-87
  
• Douglas N. Hoover:
  Limiting Semantics of Numerical Programs. 89-110
  
• Miki Hermann, Roman Galbavý:
  Unification of Infinite Sets of Terms Schematized by Primal Grammars. 111-158
  
• Simone Martini, Andrea Masini:
  Experiments in Linear Natural Deduction. 159-173
  
• Armando B. Matos:
  Monadic Logic Programs and Functional Complexity. 175-204
  
• Chrysafis Hartonas:
  Semantics of Finite Delay. 205-234
  
• Benjamin C. Pierce, Martin Steffen:
  Higher-Order Subtyping. 235-282
  , Corrigendum: TCS 184(1-2): 247 (1997)
• Dan Suciu:
  Bounded Fixpoints for Complex Objects. 283-328
  
• Peter Dybjer:
  Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory. 329-335
  
• Giuseppe Castagna:
  Unifying Overloading and lambda-Abstraction: lambda^{}. 337-345
  
• A. Massol:
  Minimality of the System of Seven Equations for the Category of Finite Sets. 347-353