In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 109-138 (2014)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Buy the book Find it on
DOI 10.1515/9781614518044.109
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,388
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Decidability of Model Checking for Several [Mu]-Calculi and Petri Nets.Javier Esparza - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
Borel-Amenable Reducibilities for Sets of Reals.Luca Motto Ros - 2009 - Journal of Symbolic Logic 74 (1):27-49.
Completeness Results for Linear Logic on Petri Nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.
Topological Complexity of Locally Finite Ω-Languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Hierarchies in Φ‐Spaces and Applications.Victor L. Selivanov - 2005 - Mathematical Logic Quarterly 51 (1):45-61.
The Completeness of Linear Logic for Petri Net Models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.
Monotone Reducibility and the Family of Infinite Sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Well (and Better) Quasi-Ordered Transition Systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.
The Box Calculus a New Causal Algebra with Multilabel Communication.Eike Best & Jon Hall - 1992 - University of Newcastle Upon Tyne, Computing Laboratory.
Verifying Temporal Properties of Systems.J. C. Bradfield - 1992 - Springer Science & Business Media.


Added to PP index

Total views
5 ( #1,168,001 of 2,445,563 )

Recent downloads (6 months)
1 ( #457,182 of 2,445,563 )

How can I increase my downloads?


My notes