Mathematical Structures in Computer Science, Volume 12

Volume 12, Number 1, 2002

• Loïc Colson:
  Syntactical Truth Predicates for Formulas with Atomic Negation. 1-18
  
• Sara Negri:
  Continuous Domains as Formal Spaces. 19-52
  
• Roberto Bruni, José Meseguer, Ugo Montanari:
  Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. 53-90
  
• Paolo Boldi, Felice Cardone, Manfred Droste:
  Universal Homogeneous Graph-Like Structures And Domains. 91-109
  

Volume 12, Number 2, 2002

• Andrzej Ehrenfeucht, Ion Petre, David M. Prescott, Grzegorz Rozenberg:
  String and Graph Reduction Systems for Gene Assembly in Ciliates. 113-134
  
• Renate Klempien-Hinrichs:
  Normal Forms for Context-Free Node-Rewriting Hypergraph Grammars. 135-148
  
• Barbara König:
  Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems. 149-175
  
• Peter Burmeister, Mercè Llabrés, Francesc Rosselló:
  Pushout Complements for Partly Total Algebras. 177-201
  
• Bruno Courcelle, Johann A. Makowsky:
  Fusion in Relational Structures and the Verification of Monadic Second-Order Properties. 203-235
  

Volume 12, Number 3, 2002

• Jaap van Oosten:
  Realizability: A Historical Essay. 239-263
  
• Andrew M. Pitts:
  Tripos Theory in Retrospect. 265-279
  
• Ulrich Berger:
  Computability and Totality in Domains. 281-294
  
• J. M. E. Hyland:
  Variations on Realizability: Realizing the Propositional Axiom of Choice. 295-317
  
• Steven Awodey, Lars Birkedal, Dana S. Scott:
  Local Realizability Toposes and a Modal Logic for Computability. 319-334
  
• Peter Lietz, Thomas Streicher:
  Impredicativity entails Untypedness. 335-347
  

Volume 12, Number 4, 2002

• Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas:
  Concurrency and Loose Semantics of Open Graph Transformation Systems. 349-376
  
• Loïc Hélouët, Claude Jard, Benoît Caillaud:
  An Event Structure Based Semantics for High-Level Message Sequence Charts. 377-402
  
• Javier Larrosa, Gabriel Valiente:
  Constraint Satisfaction Algorithms for Graph Pattern Matching. 403-422
  
• Nico Verlinden, Dirk Janssens:
  Algebraic Properties Of Processes for Local Action Systems. 423-448
  
• Paul-André Melliès:
  Double Categories: A Modular Model of Multiplicative Linear Logic. 449-479
  
• Lutz Schröder, Paulo Mateus:
  Universal Aspects of Probabilistic Automata. 481-512
  
• Richard Blute, J. Robin B. Cockett, R. A. G. Seely:
  The Logic of Linear Functors. 513-539
  

Volume 12, Number 5, 2002

• Grigore Rosu:
  Axiomatizability in Inclusive Equational Logics. 541-563
  
• H. Peter Gumm, Tobias Schröder:
  Coalgebras Of Bounded Type. 565-578
  
• Thomas Ehrhard:
  On Köthe Sequence Spaces and Linear Logic. 579-623
  
• Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott:
  Geometry of Interaction and Linear Combinatory Algebras. 625-665
  
• Stefan Sokolowski:
  Investigation of Concurrent Processes by Means of Homotopy Functors. 665-699
  

Volume 12, Number 6, 2002

• Davide Ancona, Elena Zucca:
  A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. 701-737
  
• Matías Menni, Alex K. Simpson:
  Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces. 739-770
  
• Daniel Fridlender:
  A Proof-Irrelevant Model of Martin-Löf's Logical Framework. 771-795
  
• Sylvain Lippi:
  Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. 797-822
  
• Stefano Berardi, Chantal Berline:
  BetaEta-Complete Models for System F. 823-874
  
• Bart Jacobs:
  The Temporal Logic of Coalgebras via Galois Algebras. 875-903
  

Last update Sat May 25 20:51:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page