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
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
Data released under the ODC-BY 1.0 license — See also our legal information page
