Computer Science Logic
Subtitle: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2001
Language: eng
Format: Paperback
Number of pages: 615
ISBN-13: 9783540425540
Subjects: Artificial intelligence; General Theory of Computing; Programming languages; Congresses; Computer Science; Computers; Computers - Languages / Programming; Computer Books: General; General; Artificial Intelligence - General; Programming - General; AI logics; Computer science logic; Mathematics / Logic; formal methods; grammar systems; logical calculi; mathematical logic; 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>