default search action
Information and Computation, Volume 172
Volume 172, Number 1, January 2002
- Kim B. Bruce, Didier Rémy:
Guest Editorial: Foundations of Object-Oriented Languages. 1 - Jon G. Riecke, Christopher A. Stone:
Privacy via Subsumption. 2-28 - Martin Hofmann, Benjamin C. Pierce:
Type Destructors. 29-62 - Uday S. Reddy:
Objects and Classes in Algol-Like Languages. 63-97
Volume 172, Number 2, January 2002
- Detlef Sieling:
The Nonapproximability of OBDD Minimization. 103-138 - Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Trace and Testing Equivalence on Asynchronous Processes. 139-164 - Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo:
Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. 165-201 - Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger:
Communication Complexity Method for Measuring Nondeterminism in Finite Automata. 202-217
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.