Title: Computer Science Logic
Description: Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings<br />Author: Laurent Fribourg<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42554-0<br /> DOI: 10.1007/3-540-44802-0<br /><br />Table of Contents:<p></p><ul><li>Local Reasoning about Programs that Alter Data Structures
</li><li>Applications of Alfred Tarski’s Ideas in Database Theory
</li><li>Locus Solum: From the Rules of Logic to the Logic of Rules
</li><li>The Expressive Power of Horn Monadic Linear Logic
</li><li>Non-commutativity and MELL in the Calculus of Structures
</li><li>Quadratic Correctness Criterion for Non-commutative Logic
</li><li>Capture Complexity by Partition
</li><li>An Existential Locality Theorem
</li><li>Actual Arithmetic and Feasibility
</li><li>The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group
</li><li>An Algebraic Foundation for Higraphs
</li><li>Semantic Characterisations of Second-Order Computability over the Real Numbers
</li><li>An Abstract Look at Realizability
</li><li>The Anatomy of Innocence
</li><li>An Improved Extensionality Criterion for Higher-Order Logic Programs
</li><li>A Logic for Abstract State Machines
</li><li>Constrained Hyper Tableaux
</li><li>Modal Logic and the Two-Variable Fragment
</li><li>A Logic for Approximate First-Order Reasoning
</li><li>Inflationary Fixed Points in Modal Logic</li></ul>
Subjects: Computer logic, Congresses