External Links

    Journal: Inf. Comput.

    Volume 172, Issue 2

    103 -- 138Detlef Sieling. The Nonapproximability of OBDD Minimization
    139 -- 164Michele Boreale, Rocco De Nicola, Rosario Pugliese. Trace and Testing Equivalence on Asynchronous Processes
    165 -- 201Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo. Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators
    202 -- 217Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger. Communication Complexity Method for Measuring Nondeterminism in Finite Automata

    Volume 172, Issue 1

    1 -- 0Kim B. Bruce, Didier Rémy. Guest Editorial: Foundations of Object-Oriented Languages
    2 -- 28Jon G. Riecke, Christopher A. Stone. Privacy via Subsumption
    29 -- 62Martin Hofmann, Benjamin C. Pierce. Type Destructors
    63 -- 97Uday S. Reddy. Objects and Classes in Algol-Like Languages
    runs on