Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
a service of 
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.
last updated on 2024-04-15 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
