Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, Fr
User Rating: Be the first one!
Author: Workshop on Computer Science Logic (15th : 2001 : Paris, France), Fribourg, Laurent, 1957-, European Association for Computer Science Logic. Conference (10th : 2001 : Paris, France)
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer logic
Publishers: Berlin : New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540425543
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 321.83 MB
PDF Size: 5.56 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: [Elektronische Ressource]
Downloads: 459
Views: 509
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 44802 0 archive t...torrent
Last Modified: 2022-03-09 08:41:37
Download
Size: 16.68 KB
Description
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Author: Laurent Fribourg
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42554-0
DOI: 10.1007/3-540-44802-0
Table of Contents:
Includes bibliographical references and index
Author: Laurent Fribourg
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42554-0
DOI: 10.1007/3-540-44802-0
Table of Contents:
- Local Reasoning about Programs that Alter Data Structures
- Applications of Alfred Tarski’s Ideas in Database Theory
- Locus Solum: From the Rules of Logic to the Logic of Rules
- The Expressive Power of Horn Monadic Linear Logic
- Non-commutativity and MELL in the Calculus of Structures
- Quadratic Correctness Criterion for Non-commutative Logic
- Capture Complexity by Partition
- An Existential Locality Theorem
- Actual Arithmetic and Feasibility
- The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group
- An Algebraic Foundation for Higraphs
- Semantic Characterisations of Second-Order Computability over the Real Numbers
- An Abstract Look at Realizability
- The Anatomy of Innocence
- An Improved Extensionality Criterion for Higher-Order Logic Programs
- A Logic for Abstract State Machines
- Constrained Hyper Tableaux
- Modal Logic and the Two-Variable Fragment
- A Logic for Approximate First-Order Reasoning
- Inflationary Fixed Points in Modal Logic
Includes bibliographical references and index
You May Also Like
We will be happy to hear your thoughts