some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Selected Papers of the Conference "Computer Science Logic CSL 2010"
Brno, Czech Republic, 2010



Preface
Anuj Dawar and Helmut Veith


Randomisation and Derandomisation in Descriptive Complexity Theory
Kord Eickmeyer and Martin Grohe


Two-Variable Logic with Two Order Relations
Thomas Schwentick and Thomas Zeume


Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Matthias Baaz, Agata Ciabattoni and Christian G. Fermüller


Formal Theories for Linear Algebra
Stephen A Cook and Lila A Fontes


Generic Fibrational Induction
Neil Ghani, Patricia Johann and Clement Fumex


Untyping Typed Algebras and Colouring Cyclic Linear Logic
Damien Pous


Environment and classical channels in categorical quantum mechanics
Bob Coecke and Simon Perdrix


A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Andre Platzer



DOI: 10.2168/LMCS-CSL:2010

Creative Commons