ask others

18. CSL 2004: Karpacz, Poland

> Home > Conferences and Workshops > CSL

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/2004
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/2004
Jerzy Marcinkowski, Andrzej Tarlecki:
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3210, Springer 2004, ISBN 3-540-23024-6

Invited Lectures

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Atserias04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Atserias04
Albert Atserias:
Notions of Average-Case Complexity for Random 3-SAT. 1-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Hyland04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Hyland04
Martin Hyland:
Abstract Interpretation of Proofs: Classical Propositional Calculus. 6-21
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/McMillan04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/McMillan04
Kenneth L. McMillan:
Applications of Craig Interpolation to Model Checking. 22-23
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Miller04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Miller04
Dale Miller:
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. 24
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Urzyczyn04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Urzyczyn04
Pawel Urzyczyn:
My (Un)Favourite Things. 25

Regular Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ChatterjeeMJ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeMJ04
Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski:
On Nash Equilibria in Stochastic Games. 26-40
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Bojanczyk04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Bojanczyk04
Mikolaj Bojanczyk:
A Bounding Quantifier. 41-55
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Gimbert04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Gimbert04
Hugo Gimbert:
Parity and Exploration Games on Infinite Graphs. 56-70
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/GanzingerK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/GanzingerK04
Harald Ganzinger, Konstantin Korovin:
Integrating Equational Reasoning into Instantiation-Based Theorem Proving. 71-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/MetcalfeOG04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/MetcalfeOG04
George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Goal-Directed Methods for Lukasiewicz Logic. 85-99
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DawsonG04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DawsonG04
Jeremy E. Dawson, Rajeev Goré:
A General Theorem on Termination of Rewriting. 100-114
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Hyvernat04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Hyvernat04
Pierre Hyvernat:
Predicate Transformers and Linear Logic: Yet Another Denotational Model. 115-129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Gianantonio04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Gianantonio04
Pietro Di Gianantonio:
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. 130-144
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/StrassburgerL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/StrassburgerL04
Lutz Straßburger, François Lamarche:
On Proof Nets for Multiplicative Linear Logic with Units. 145-159
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ImmermanRRSY04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/ImmermanRRSY04
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh:
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. 160-174
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ArenasBL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/ArenasBL04
Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Game-Based Notions of Locality Over Finite Models. 175-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/AbelM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/AbelM04
Andreas Abel, Ralph Matthes:
Fixed Points of Type Constructors and Primitive Recursion. 190-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Schubert04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Schubert04
Aleksy Schubert:
On the Building of Affine Retractions. 205-219
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/GrooteS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/GrooteS04
Philippe de Groote, Sylvain Salvati:
Higher-Order Matching in the Linear lambda-calculus with Pairing. 220-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/SchoppS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/SchoppS04
Ulrich Schöpp, Ian Stark:
A Dependent Type Theory with Names and Binding. 235-249
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Weber04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Weber04
Tjark Weber:
Towards Mechanized Program Verification with Separation Logic. 250-264
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/AmadioCDJ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/AmadioCDJ04
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec:
A Functional Scenario for Bytecode Verification of Resource Bounds. 265-279
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/GiacobazziM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/GiacobazziM04
Roberto Giacobazzi, Isabella Mastroeni:
Proving Abstract Non-interference. 280-294
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Maier04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Maier04
Patrick Maier:
Intuitionistic LTL and a New Characterization of Safety and Liveness. 295-309
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Rohde04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Rohde04
Philipp Rohde:
Moving in a Crumbling Network: The Balanced Case. 310-324
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/EmersonK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/EmersonK04
E. Allen Emerson, Vineet Kahlon:
Parameterized Model Checking of Ring-Based Message Passing Systems. 325-339
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Skelley04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Skelley04
Alan Skelley:
A Third-Order Bounded Arithmetic Theory for PSPACE. 340-354
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Cordon-FrancoFM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Cordon-FrancoFM04
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
Provably Total Primitive Recursive Functions: Theories with Induction. 355-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Richerby04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Richerby04
David Richerby:
Logical Characterizations of PSPACE. 370-384
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Schroder04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Schroder04
Lutz Schröder:
The Logic of the Partial lambda-Calculus with Equality. 385-399
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Goubault-LarrecqLNZ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Goubault-LarrecqLNZ04
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang:
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. 400-414
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Vouillon04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Vouillon04
Jerome Vouillon:
Subtyping Union Types. 415-429
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/KorovinaV04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/KorovinaV04
Margarita V. Korovina, Nicolai Vorobjov:
Pfaffian Hybrid Systems. 430-441
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Kameyama04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Kameyama04
Yukiyoshi Kameyama:
Axioms for Delimited Continuations in the CPS Hierarchy. 442-457
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/RychlikowskiT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/RychlikowskiT04
Pawel Rychlikowski, Tomasz Truderung:
Set Constraints on Regular Terms. 458-472
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Lynch04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Lynch04
Christopher Lynch:
Unsound Theorem Proving. 473-487
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/AvelloneFFM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/AvelloneFFM04
Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato:
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. 488-502
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Ciabattoni04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Ciabattoni04
Agata Ciabattoni:
Automated Generation of Analytic Calculi for Logics with Linearity. 503-517

maintained by

, founded at