External Links

    Journal: Inf. Comput.

    Volume 149, Issue 2

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

    Volume 149, Issue 1

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