Theoretical Computer Science, Volume 146

Volume 146, Numbers 1&2, 24 July 1995

• Andre Scedrov, Dennis DeTurk, Wolfgang Ziller: Moez Alimohamed, 1967-1994. 1-3
• Moez Alimohamed:
  A Characterization of lambda Definability in Categorical Models of Implicit Polymorphism. 5-23
  
• Bard Bloom:
  Structural Operational Semantics for Weak Bisimulations. 25-68
  
• Zena M. Ariola, Arvind:
  Properties of a First-Order Functional Language with Sharing. 69-108
  
• Franck Cassez, Olivier Roux:
  Compilation of the ELECTRE Reactive Language into Finite Transition Systems. 109-143
  
• David B. Kemp, Divesh Srivastava, Peter J. Stuckey:
  Bottom-Up Evaluation and Query Optimization of Well-Founded Models. 145-184
  
• Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl:
  Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. 185-197
  
• Maria Paola Bonacina, Jieh Hsiang:
  Towards a Foundation of Completion Procedures as Semidecision Procedures. 199-242
  
• Rolf Backofen, Gert Smolka:
  A Complete and Recursive Feature Theory. 243-268
  
• Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman:
  Argument Reduction by Factoring. 269-310
  
• Fabio Alessi, Paolo Baldan, Gianna Bellè:
  A Fixed-Point Theorem in a Category of Compact Metric Spaces. 311-320
  
• Yuji Kobayashi:
  A Finitely Presented Monoid Which Has Solvable Word Problem But Has No Regular Complete Presentation. 321-329
  
• Guo-Qiang Zhang:
  On Maximal Stable Functions. 331-339
  
• Anna Ingólfsdóttir:
  Late and Early Semantics Coincide for Testing. 341-349