Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Computer Science Logic

Computer Science Logic

15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2142/2001
DOI10.1007/3-540-44802-0
Copyright2001
ISBN978-3-540-42554-0
Subject CollectionComputer Science
SpringerLink DateMonday, June 30, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
42 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-42 | Next
Front Matter

Front MatterPDF (117.1 KB)

  
Chapter
Local Reasoning about Programs that Alter Data Structures
Peter O’Hearn, John Reynolds and Hongseok Yang
DOI: 10.1007/3-540-44802-0_1
Full TextPDF (187.7 KB)
 1-19
Chapter
Applications of Alfred Tarski’s Ideas in Database Theory
Jan Van den Bussche
DOI: 10.1007/3-540-44802-0_2
Full TextPDF (262.2 KB)
 20-37
Chapter
Locus Solum: From the Rules of Logic to the Logic of Rules
Jean-Yves Girard
DOI: 10.1007/3-540-44802-0_3
Full TextPDF (35.8 KB)
 38
Chapter
The Expressive Power of Horn Monadic Linear Logic
Max Kanovich
DOI: 10.1007/3-540-44802-0_4
Full TextPDF (232.0 KB)
 39-53
Chapter
Non-commutativity and MELL in the Calculus of Structures
Alessio Guglielmi and Lutz Straßburger
DOI: 10.1007/3-540-44802-0_5
Full TextPDF (238.3 KB)
 54-68
Chapter
Quadratic Correctness Criterion for Non-commutative Logic
Virgile Mogbil
DOI: 10.1007/3-540-44802-0_6
Full TextPDF (224.3 KB)
 69-83
Chapter
Capture Complexity by Partition
Yijia Chen and Enshao Shen
DOI: 10.1007/3-540-44802-0_7
Full TextPDF (230.5 KB)
 84-98
Chapter
An Existential Locality Theorem
Martin Grohe and Stefan Wöhrle
DOI: 10.1007/3-540-44802-0_8
Full TextPDF (203.8 KB)
 99-114
Chapter
Actual Arithmetic and Feasibility
Jean-Yves Marion
DOI: 10.1007/3-540-44802-0_9
Full TextPDF (199.9 KB)
 115-129
Chapter
The Natural Order-Generic Collapse for ω -Representable Databases over the Rational and the Real Ordered Group
Nicole Schweikardt
DOI: 10.1007/3-540-44802-0_10
Full TextPDF (216.4 KB)
 130-144
Back Matter

Back MatterPDF (19.9 KB)

  
42 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-42 | Next
more options
Find


Starts With
42 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.109 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)