16. CSL 2002:
Edinburgh, Scotland, UK Julian C. Bradfield (Ed.):
Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings.
Lecture Notes in Computer Science 2471 Springer 2002, ISBN 3-540-44240-5 Invited Lectures
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rewriting and Constructive Mathematics
export record as
dblp key:
Max I. Kanovich :
Bijections between Partitions by Two-Directional Rewriting Techniques.
44-58
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fixpoints and Recursion
export record as
dblp key:
Tobias Nipkow :
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.
103-119
export record as
dblp key:
Yifeng Chen :
A Fixpoint Theory for Non-monotonic Parallelism.
120-134
export record as
dblp key:
Linear and Resource Logics
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Semantics
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paul Blain Levy :
Possible World Semantics for General Storage in Call-By-Value.
232-246
export record as
dblp key:
Guy McCusker :
A Fully Abstract Relational Model of Syntactic Control of Interference.
247-261
Temporal Logics and Games
export record as
dblp key:
export record as
dblp key:
Antonín Kucera ,
Jan Strejcek :
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL.
276-291
export record as
dblp key:
Probability, Games and Fixpoints
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Complexity and Proof Complexity
export record as
dblp key:
Daniel Leivant :
Implicit Computational Complexity for Higher Type Functionals.
367-381
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ludics and Linear Logic
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lambda-Calculi
export record as
dblp key:
conf/csl/Goubault-Larrecq02 export record as
dblp key:
Ichiro Ogata :
A Proof Theoretical Account of Continuation Passing Style.
490-505
export record as
dblp key:
Yoshihiko Kakutani :
Duality between Call-by-Name Recursion and Call-by-Value Iteration.
506-521
export record as
dblp key:
conf/csl/Schmidt-SchaussS02 export record as
dblp key:
export record as
dblp key:
conf/csl/Goubault-LarrecqLN02
Resolution and Proofs
export record as
dblp key:
export record as
dblp key:
Hans de Nivelle :
Extraction of Proofs from the Clausal Normal Form Transformation.
584-598
export record as
dblp key:
Arnold Beckmann :
Resolution Refutations and Propositional Proofs with Height-Restrictions.
599-612
data released under the ODC-BY 1.0 license
