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
Automated Reasoning with Analytic Tableaux and Related Methods
18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 5607/2009
DOI
10.1007/978-3-642-02716-1
Copyright
2009
ISBN
978-3-642-02715-4
Subject Collection
Computer Science
SpringerLink Date
Tuesday, October 20, 2009
Add to marked items
Add to saved items
Recommend this book
About This Volume
Editorial View
Condensed List View
Expanded List View
24 Chapters
First
|
1-10
|
11-20
|
21-24
|
Next
Front Matter
PDF (333.4 KB)
Chapter
Presenting Constraints
Peter Jeavons
DOI: 10.1007/978-3-642-02716-1_1
PDF (290.9 KB)
1-15
Chapter
On the Use of Automata for Deciding Linear Arithmetic
Pierre Wolper
DOI: 10.1007/978-3-642-02716-1_2
PDF (31.9 KB)
16
Chapter
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
Régis Alenda
,
Nicola Olivetti
and
Camilla Schwind
DOI: 10.1007/978-3-642-02716-1_3
PDF (318.8 KB)
17-31
Chapter
A Schemata Calculus for Propositional Logic
Vincent Aravantinos
,
Ricardo Caferra
and
Nicolas Peltier
DOI: 10.1007/978-3-642-02716-1_4
PDF (280.3 KB)
32-46
Chapter
Tableaux and Model Checking for Memory Logics
Carlos Areces
,
Diego Figueira
,
Daniel Gorín
and
Sergio Mera
DOI: 10.1007/978-3-642-02716-1_5
PDF (269.0 KB)
47-61
Chapter
Canonical Constructive Systems
Arnon Avron
and
Ori Lahav
DOI: 10.1007/978-3-642-02716-1_6
PDF (240.3 KB)
62-76
Chapter
A Novel Architecture for Situation Awareness Systems
Franz Baader
,
Andreas Bauer
,
Peter Baumgartner
,
Anne Cregan
,
Alfredo Gabaldon
,
Krystian Ji
,
Kevin Lee
,
David Rajaratnam
and
Rolf Schwitter
DOI: 10.1007/978-3-642-02716-1_7
PDF (611.3 KB)
77-92
Chapter
On the Proof Theory of Regular Fixed Points
David Baelde
DOI: 10.1007/978-3-642-02716-1_8
PDF (356.3 KB)
93-107
Chapter
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
Bianca Boretti
and
Sara Negri
DOI: 10.1007/978-3-642-02716-1_9
PDF (263.0 KB)
108-122
Chapter
A Tableau-Based System for Spatial Reasoning about Directional Relations
Davide Bresolin
,
Angelo Montanari
,
Pietro Sala
and
Guido Sciavicco
DOI: 10.1007/978-3-642-02716-1_10
PDF (265.7 KB)
123-137
Back Matter
PDF (44.9 KB)
24 Chapters
First
|
1-10
|
11-20
|
21-24
|
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
24 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
Author
Nicola Olivetti
Gert Smolka
Rajeev Goré
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.110 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)