23. LICS 2008:
Pittsburgh, Pennsylvania, USA Session 1 (Joint CSF /LICS)
export record as
dblp key:
export record as
dblp key:
Session 2 (Joint CSF/LICS)
Session 3:
Logical Frameworks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 4:
Lambda Calculus
export record as
dblp key:
export record as
dblp key:
Session 5:
Short Talks (Joint CSF/LICS)
Session 6:
Algebraic Reasoning
export record as
dblp key:
Dexter Kozen :
Nonlocal Flow of Control and Kleene Algebra with Tests.
105-117
export record as
dblp key:
export record as
dblp key:
Session 7:
Process Calculi
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sam Staton :
General Structural Operational Semantics through Categorical Logic.
166-177
Session 8:
Model Checking
export record as
dblp key:
Vineet Kahlon :
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.
181-192
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 9:
Proof Theory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Guillaume Burel :
A First-Order Representation of Pure Type Systems Using Superdeduction.
253-263
Session 10:
Computational Complexity
export record as
dblp key:
Martin Grohe :
The Quest for a Logic Capturing PTIME.
267-271
export record as
dblp key:
Søren Riis :
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.
272-283
export record as
dblp key:
Session 11:
Constraints
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 12:
Reasoning About Programs
export record as
dblp key:
François Pottier :
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule.
331-340
export record as
dblp key:
export record as
dblp key:
Andrzej S. Murawski :
Reachability Games and Game Semantics: Comparing Nondeterministic Programs.
353-363
export record as
dblp key:
Abbas Edalat :
Weak Topology and a Differentiable Operator for Lipschitz Maps.
364-375
Session 13:
Probabilistic Systems
export record as
dblp key:
James F. Lynch :
A Logical Characterization of Individual-Based Models.
379-390
export record as
dblp key:
Session 14:
Finite Model Theory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Duris :
Hypergraph Acyclicity and Extension Preservation Theorems.
418-427
Session 15:
Automata Theory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 16:
Linear Logic
export record as
dblp key:
Marc de Falco :
The Geometry of Interaction of Differential Interaction Nets.
465-475
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
