22nd Annual IEEE Symposium on Logic in Computer Science (Lics 2007)

, by Institute of Electrical and Electronics Engineers

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

ISBN: 9780769529080 | 0769529089
Cover: Paperback
Copyright: 3/31/2008

Rent

(Recommended)

$175.40

Term

Due

Price

Semester

Dec 12

$184.63

Quarter

Aug 13

$175.40

Short Term

Jul 13

$166.17

*This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.
Buy New

Special Order: 1-2 Weeks

$236.37

Supplemental Materials

Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements	p. 3
Strong Normalization as Safe Interaction	p. 13
A Dependent Set Theory	p. 23
Invited Lecture: Some Methods of Problem Solving in Elementary Geometry	p. 35
Principles of Superdeduction	p. 41
Complete Sequent Calculi for Induction and Infinite Descent	p. 51
Invited Lecture: Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications	p. 63
A Complete Axiomatization of Knowledge and Cryptography	p. 77
Limits of Multi-Discounted Markov Decision Processes	p. 89
Game Relations and Metrics	p. 99
The Cost of Punctuality	p. 109
Two-Way Unary Temporal Logic over Trees	p. 121
Alternation-Free Modal Mu-Calculus for Data Trees	p. 131
A Contraction Method to Decide MSO Theories of Deterministic Trees	p. 141
First-Order and Temporal Logics for Nested Words	p. 151
A Robust Class of Context-Sensitive Languages	p. 161
A New Efficient Simulation Equivalence Algorithm	p. 171
Infinite State AMC-Model Checking for Cryptographic Protocols	p. 181
Symmetric Datalog and Constraint Satisfaction Problems in Logspace	p. 193
Quantified Equality Constraints	p. 203
Tractability and Learnability Arising from Algebras with Few Subpowers	p. 213
Examining the Fragments of G	p. 225
Separating DAG-Like and Tree-Like Proof Systems	p. 235
The Complexity of Proving the Discrete Jordan Curve Theorem	p. 245
Invited Lecture: Reflections on Finite Model Theory	p. 257
Locally Excluding a Minor	p. 270
Lindstrom Theorems for Fragments of First-Order Logic	p. 280
Environmental Bisimulations for Higher-Order Languages	p. 293
Pi-Calculus in Logical Form	p. 303
Characterising Testing Preorders for Finite Probabilistic Processes	p. 313
Invited Lecture: The Algebraic Theory of Effects
Invited Lecture: Higher-Order Matching, Games and Automata	p. 326
Bialgebraic Operational Semantics and Modal Logic	p. 336
Relational Parametricity for Computational Effects	p. 346
Static Name Control for FreshML	p. 356
Local Action and Abstract Separation Logic	p. 366
Invited Lecture: Categorical Combinatorics for Innocent Strategies	p. 379
Resource Modalities in Game Semantics	p. 389
Full Abstraction for Nominal General References	p. 399
Stratified Bounded Affine Logic for Logarithmic Space	p. 411
Light Logics and Optimal Reduction: Completeness and Complexity	p. 421
Modified Realizability Interpretation of Classical Linear Logic	p. 431
Infinite Sets that Admit Fast Exhaustive Search	p. 443
On Noetherian Spaces	p. 453
A Computable Approach to Measure and Integration Theory	p. 463
List of Short Presentations
Ludics, Game Semantics and Concurrency
The Common Fragment of CTL and LTL Needs Existential Modalities
A Bisimulation-Based Proof System for the Equational Theory of Kleene Algebra
Descriptive Characterization of Quantum Circuits
On the Effect of Bad Variables
Author Index	p. 473
Table of Contents provided by Blackwell. All Rights Reserved.

Please wait while the item is added to your bag...

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

22nd Annual IEEE Symposium on Logic in Computer Science (Lics 2007)

Table of Contents

Supplemental Materials

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

22nd Annual IEEE Symposium on Logic in Computer Science (Lics 2007)

Table of Contents

Supplemental Materials

Digital License