default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 13
Volume 13, Number 1, 2003
- Pawel Urzyczyn:
A Simple Proof of the Undecidability of Strong Normalisation. 5-13 - Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo:
Intersection Types and lambda-Definability. 15-53 - Daniel J. Dougherty, Pierre Lescanne:
Reductions, Intersection Types, and Explicit Substitutions. 55-85 - Anindya Banerjee, Thomas P. Jensen:
Modular Control-Flow Analysis with Rank 2 Intersection Types. 87-124 - Christian Mossin:
Exact Flow Analysis. 125-156 - Ferruccio Damiani
:
A Conjunctive Type System for Useless-Code Elimination. 157-197
Volume 13, Number 2, 2003
- Jirí Adámek, Hans-E. Porst:
On Varieties and Covarieties in a Category. 201-232 - Steven Awodey, Jesse Hughes:
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. 233-258 - Jirí Adámek, Stefan Milius, Jirí Velebil:
Free Iterative Theories: A Coalgebraic View. 259-320 - Falk Bartels:
Generalised Coinduction. 321-348 - Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
Dualising Initial Algebras. 349-370
Volume 13, Number 3, 2003
- Andrew D. Gordon, Luca Cardelli:
Equational Properties Of Mobile Ambients. 371-408 - Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski:
Proof Nets And Explicit Substitutions. 409-450 - Peter Hines:
A Categorical Framework For Finite State Machines. 451-480
Volume 13, Number 4, 2003
- Samson Abramsky:
Sequentiality vs. Concurrency In Games And Logic. 531-565 - Jirí Srba:
Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. 567-587 - Jos C. M. Baeten:
Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. 589-618 - Flavio Corradini, Dino Di Cola:
The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. 619-656 - Luca Aceto, Giuseppe Longo, Björn Victor:
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. 481-484 - Vaughan R. Pratt:
Transition And Cancellation In Concurrency And Branching Time. 485-529
Volume 13, Number 5, 2003
- Catuscia Palamidessi:
Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. 685-719 - Cosimo Laneve, Björn Victor:
Solos In Concert. 657-683 - Philippe Matherat, Marc-Thierry Jaekel:
Concurrent Computing Machines And Physical Space-Time. 771-798 - Pascal Zimmer:
On The Expressiveness Of Pure Safe Ambients. 721-770
Volume 13, Number 6, 2003
- Lorenzo Tortora de Falco:
Obsessional Experiments For Linear Logic Proof-Nets. 799-855 - Dominique Duval:
Diagrammatic Specifications. 857-890
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-12-16 22:17 CET 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:
