Information and Computation, Volume 145

Volume 145, Number 1, August 25, 1998

• Frank Drewes, Joost Engelfriet:
  Decidability of the Finiteness of Ranges of Tree Transductions. 1-50
  
• Juha Honkala:
  On Number Systems with Finite Degree of Ambiguity. 51-63
  
• Chrysafis Hartonas, Matthew Hennessy:
  Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. 64-106
  

Volume 145, Number 2, September 15, 1998

• Claudio Hermida, Bart Jacobs:
  Structural Induction and Coinduction in a Fibrational Setting. 107-152
  
• Roberto Giacobazzi, Francesco Ranzato:
  Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. 153-190
  
• Flavio Corradini:
  On Performance Congruences for Process Algebras. 191-230
  

Last update Wed May 22 17:38:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page