Volume 149; Issue 2

Information and Computation

Volume 149; Issue 2
1

Perpetual Reductions inλ-Calculus

Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi
Journal:
Information and Computation
Year:
1999
Language:
english
File:
PDF, 1.11 MB
english, 1999
2

Context-Free Event Domains Are Recognizable

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult
Journal:
Information and Computation
Year:
1999
Language:
english
File:
PDF, 601 KB
english, 1999
3

Sentences over Integral Domains and Their Computational Complexities

Shih Ping Tung
Journal:
Information and Computation
Year:
1999
Language:
english
File:
PDF, 290 KB
english, 1999
4

Author Index for Volume 149

Journal:
Information and Computation
Year:
1999
File:
PDF, 29 KB
1999