Marc Bezem (Ed.):
Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings.
LIPIcs 12 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-32-3
Frontmatter, Table of Contents, Preface, Conference Organization.
Thomas Ehrhard: Resource Lambda-Calculus: the Differential Viewpoint.
1
Martin Otto: The Freedoms of Guarded Bisimulation.
2
Moshe Y. Vardi: Branching vs. Linear Time: Semantical Perspective.
3
Frank Wolter: Ontology-Based Data Access and Constraint Satisfaction.
4
data released under the ODC-BY 1.0 license
