Theoretical Computer Science, Volume 198

Volume 198, Numbers 1-2, 30 May 1998

• Friedrich Otto, Paliath Narendran, Daniel J. Dougherty:
  Equational Unification, Word Unification, and 2nd-Order Equational Unification. 1-47
  
• Gopalan Nadathur, Debra Sue Wilson:
  A Notation for Lambda Terms: A Generalization of Environments. 49-98
  
• Viliam Geffert:
  A Communication Hierarchy of Parallel Computations. 99-130
  
• Chrysafis Hartonas:
  A Fixpoint Approach to Finite Delay and Fairness. 131-158
  
• Michele Boreale, Davide Sangiorgi:
  Some Congruence Properties for Pi-Calculus Bisimilarities. 159-176
  
• Robert Goldblatt:
  Enlargement of Functional Algebras for the Lambda Calculus. 177-200
  
• Uwe Egly:
  An Answer to an Open Problem of Urquhart. 201-209
  
• Javier Esparza:
  Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete. 211-224
  
• Flavio Corradini:
  On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. 225-237
  
• Naim Çagman, J. Roger Hindley:
  Combinatory Weak Reduction in Lambda Calculus. 239-247