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 BibTeX
Juha Honkala: On Number Systems with Finite Degree of Ambiguity. 51-63 BibTeX
Chrysafis Hartonas, Matthew Hennessy: Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. 64-106 BibTeX

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