Computer Science Logic

By Laurent Fribourg

Subjects: Congresses, Computer 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>