Information and Computation, Volume 149

Volume 149, Number 1, February 25, 1999

• Rémi Gilleron, Sophie Tison, Marc Tommasi: Set Constraints and Automata. 1-41
• Gilles Barthe: Order-Sorted Inductive Types. 42-76
• Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. 77-98

Volume 149, Number 2, March 15, 1999

• Shih Ping Tung: Sentences over Integral Domains and Their Computational Complexities. 99-133
• Eric Badouel, Philippe Darondeau, Jean-Claude Raoult: Context-Free Event Domains are Recognizable. 134-172
• Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi: Perpetual Reductions in Lambda-Calculus. 173-225