Searching...
Advanced Search
L
LICS
2008
2008 23rd Annual IEEE Symposium on Logic in Computer Science
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2008 23rd Annual IEEE Symposium on Logic in Computer Science
June 24-June 27
ISBN: 978-0-7695-3183-0
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-ix
ABSTRACT
PDF
Foreword
(PDF)
pp. x
ABSTRACT
PDF
Committee Lists
(PDF)
pp. xi-xii
ABSTRACT
PDF
Reviewers
(PDF)
pp. xiii-xiv
ABSTRACT
PDF
Cryptographically-Sound Protocol-Model Abstractions
(Abstract)
Christoph Sprenger
David Basin
pp. 3-17
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Expressiveness and Complexity of Randomization in Finite State Monitors
(Abstract)
Rohit Chadha
A. Prasad Sistla
Mahesh Viswanthan
pp. 18-29
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Combining Generic Judgments with Recursive Definitions
(Abstract)
Andrew Gacek
Dale Miller
Gopalan Nadathur
pp. 33-44
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Mechanizing the Metatheory of LF
(Abstract)
Christian Urban
James Cheney
Stefan Berghofer
pp. 45-56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Second-Order and Dependently-Sorted Abstract Syntax
(Abstract)
Marcelo Fiore
pp. 57-68
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Structural Logical Relations
(Abstract)
Carsten Sch?rmann
Jeffrey Sarnat
pp. 69-80
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Types for Hereditary Permutators
(Abstract)
Makoto Tatsuta
pp. 83-92
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Context Matching for Compressed Terms
(Abstract)
Adria Gasc?
Guillem Godoy
Manfred Schmidt-Schauss
pp. 93-102
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Nonlocal Flow of Control and Kleene Algebra with Tests
(Abstract)
Dexter Kozen
pp. 105-117
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Logic for Algebraic Effects
(Abstract)
Gordon Plotkin
Matija Pretnar
pp. 118-129
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Algebraic Process Calculus
(Abstract)
Emmanuel Beffara
pp. 130-141
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Expressiveness and Decidability of Higher-Order Process Calculi
(Abstract)
Ivan Lanese
Jorge A. Perez
Davide Sangiorgi
Alan Schmitt
pp. 145-155
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence
(Abstract)
Taolue Chen
Wan Fokkink
pp. 156-165
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
General Structural Operational Semantics through Categorical Logic
(Abstract)
Sam Staton
pp. 166-177
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
(Abstract)
Vineet Kahlon
pp. 181-192
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Winning Regions of Higher-Order Pushdown Games
(Abstract)
Arnaud Carayol
Matthew Hague
Antoine Meyer
C.-H. Luke Ong
Olivier Serre
pp. 193-204
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Ordinal Recursive Complexity of Lossy Channel Systems
(Abstract)
P. Chambart
P. Schnoebelen
pp. 205-216
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata
(Abstract)
Christel Baier
Nathalie Bertrand
Patricia Bouyer
Thomas Brihaye
Marcus Gr?Ber
pp. 217-226
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
From Axioms to Analytic Rules in Nonclassical Logics
(Abstract)
Agata Ciabattoni
Nikolaos Galatos
Kazushige Terui
pp. 229-240
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Focusing on Binding and Computation
(Abstract)
Daniel R. Licata
Noam Zeilberger
Robert Harper
pp. 241-252
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A First-Order Representation of Pure Type Systems Using Superdeduction
(Abstract)
Guillaume Burel
pp. 253-263
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Quest for a Logic Capturing PTIME
(Abstract)
Martin Grohe
pp. 267-271
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
(Abstract)
S? Riis
pp. 272-283
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Computational Complexity of Cut-Reduction
(Abstract)
Klaus Aehlig
Arnold Beckmann
pp. 284-293
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Maltsev + Datalog --> Symmetric Datalog
(Abstract)
Victor Dalmau
Benoit Larose
pp. 297-306
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Caterpillar Duality for Constraint Satisfaction Problems
(Abstract)
Catarina Carvalho
V?ctor Dalmau
Andrei Krokhin
pp. 307-316
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Quantified Constraints and Containment Problems
(Abstract)
Hubie Chen
Florent Madelaine
Barnaby Martin
pp. 317-328
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule
(Abstract)
Francois Pottier
pp. 331-340
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Typed Normal Form Bisimulation for Parametric Polymorphism
(Abstract)
Soren B. Lassen
Paul Blain Levy
pp. 341-352
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
(Abstract)
Andrzej S. Murawski
pp. 353-363
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Weak Topology and a Differentiable Operator for Lipschitz Maps
(Abstract)
Abbas Edalat
pp. 364-375
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Logical Characterization of Individual-Based Models
(Abstract)
James F. Lynch
pp. 379-390
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Satisfiability Problem for Probabilistic CTL
(Abstract)
Tom? Br?zdil
Vojtech Forejt
Jan Kret?nsk?
Anton? Kucera
pp. 391-402
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Axiomatic Derivation of Absolute Lower Bounds
(PDF)
Yiannis N. Moschovakis
pp. 405
ABSTRACT
PDF
Definable Tree Decompositions
(Abstract)
Martin Grohe
pp. 406-417
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Hypergraph Acyclicity and Extension Preservation Theorems
(Abstract)
David Duris
pp. 418-427
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
From Automatic Structures to Borel Structures
(Abstract)
Greg Hjorth
Bakh Khoussainov
Antonio Montalb?
Andr? Nies
pp. 431-441
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Piecewise Testable Tree Languages
(Abstract)
Mikolaj Bojanczyk
Luc Segoufin
Howard Straubing
pp. 442-451
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Collapsible Pushdown Automata and Recursion Schemes
(Abstract)
M. Hague
A.S. Murawski
C.-H.L. Ong
O. Serre
pp. 452-461
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Geometry of Interaction of Differential Interaction Nets
(Abstract)
Marc de Falco
pp. 465-475
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Correctness of Multiplicative Additive Proof Structures is NL-Complete
(Abstract)
Paulin Jacob? de Naurois
Virgile Mogbil
pp. 476-485
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Cut Elimination for Monomial MALL Proof Nets
(Abstract)
Olivier Laurent
Roberto Maieli
pp. 486-497
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Neutral Approach to Proof and Refutation in MALL
(Abstract)
Olivier Delande
Dale Miller
pp. 498-508
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Author Index
(PDF)
pp. 509-510
ABSTRACT
PDF
Roster
(PDF)
pp. 512
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
