Institutional Login
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
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Book
Computer Science Logic
15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 2142/2001
DOI
10.1007/3-540-44802-0
Copyright
2001
ISBN
978-3-540-42554-0
Subject Collection
Computer Science
SpringerLink Date
Monday, June 30, 2003
Add to marked items
Add to saved items
Recommend this book
About This Volume
Editorial View
Condensed List View
Expanded List View
42 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-40
|
41-42
|
Next
Front Matter
PDF (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
PDF (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
PDF (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
PDF (35.8 KB)
38
Chapter
The Expressive Power of Horn Monadic Linear Logic
Max Kanovich
DOI: 10.1007/3-540-44802-0_4
PDF (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
PDF (238.3 KB)
54-68
Chapter
Quadratic Correctness Criterion for Non-commutative Logic
Virgile Mogbil
DOI: 10.1007/3-540-44802-0_6
PDF (224.3 KB)
69-83
Chapter
Capture Complexity by Partition
Yijia Chen
and
Enshao Shen
DOI: 10.1007/3-540-44802-0_7
PDF (230.5 KB)
84-98
Chapter
An Existential Locality Theorem
Martin Grohe
and
Stefan Wöhrle
DOI: 10.1007/3-540-44802-0_8
PDF (203.8 KB)
99-114
Chapter
Actual Arithmetic and Feasibility
Jean-Yves Marion
DOI: 10.1007/3-540-44802-0_9
PDF (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
PDF (216.4 KB)
130-144
Back Matter
PDF (19.9 KB)
42 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-40
|
41-42
|
Next
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this book series
Within this book
Starts With
42 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
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
MetaPress Privacy Policy
Remote Address: 38.107.191.109 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)