![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 179
Volume 179, Number 1, 25 November 2002
- Jerzy Tiuryn
, Pawel Urzyczyn:
The Subtyping Problem for Second-Order Types Is Undecidable. 1-18 - Iliano Cervesato
, Frank Pfenning:
A Linear Logical Framework. 19-75 - Marcelo P. Fiore, Eugenio Moggi
, Davide Sangiorgi:
A Fully Abstract Model for the [pi]-calculus. 76-117 - Stephen D. Brookes:
The Essence of Parallel Algol. 118-149
Volume 179, Number 2, 15 December 2002
- Glynn Winskel:
Guest Editorial. 151 - Dexter Kozen:
On the Complexity of Reasoning in Kleene Algebra. 152-162 - Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. 163-193 - Henrik Reif Andersen, Henrik Hulgaard:
Boolean Expression Diagrams. 194-212 - Witold Charatonik, Andreas Podelski:
Set Constraints with Intersection. 213-229 - P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. 230-249 - Martin Grohe
:
Large Finite Structures with Few Lk-Types. 250-278 - Kousha Etessami, Moshe Y. Vardi, Thomas Wilke:
First-Order Logic with Two Variables and Unary Temporal Logic. 279-295 - Jon G. Riecke, Anders Sandholm:
A Relational Account of Call-by-Value Sequentiality. 296-331 - Martin Hofmann, Thomas Streicher:
Completeness of Continuation Models for lambda-mu-Calculus. 332-355 - Oliver Matz, Nicole Schweikardt, Wolfgang Thomas:
The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. 356-383 - Erratum ("Mobile Objects as Mobile Processes" by M. Merro et al, Volume 177, Number 2 [2002], pages 195-241). 384
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.