


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














