Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/csl/AbelM04,
author = {Andreas Abel and
Ralph Matthes},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Fixed Points of Type Constructors and Primitive Recursion},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {190--204},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_17},
doi = {10.1007/978-3-540-30124-0\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AbelM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AmadioCDJ04,
author = {Roberto M. Amadio and
Solange Coupet{-}Grimal and
Silvano Dal{-}Zilio and
Line Jakubiec},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {A Functional Scenario for Bytecode Verification of Resource Bounds},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {265--279},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_22},
doi = {10.1007/978-3-540-30124-0\_22},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AmadioCDJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ArenasBL04,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Game-Based Notions of Locality Over Finite Models},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {175--189},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_16},
doi = {10.1007/978-3-540-30124-0\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ArenasBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Atserias04,
author = {Albert Atserias},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Notions of Average-Case Complexity for Random 3-SAT},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {1--5},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_1},
doi = {10.1007/978-3-540-30124-0\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Atserias04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AvelloneFFM04,
author = {Alessandro Avellone and
Camillo Fiorentini and
Guido Fiorino and
Ugo Moscato},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {A Space Efficient Implementation of a Tableau Calculus for a Logic
with a Constructive Negation},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {488--502},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_37},
doi = {10.1007/978-3-540-30124-0\_37},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AvelloneFFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Bojanczyk04,
author = {Mikolaj Bojanczyk},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {A Bounding Quantifier},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {41--55},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_7},
doi = {10.1007/978-3-540-30124-0\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Bojanczyk04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChatterjeeMJ04,
author = {Krishnendu Chatterjee and
Rupak Majumdar and
Marcin Jurdzinski},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {On Nash Equilibria in Stochastic Games},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {26--40},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_6},
doi = {10.1007/978-3-540-30124-0\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChatterjeeMJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Ciabattoni04,
author = {Agata Ciabattoni},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Automated Generation of Analytic Calculi for Logics with Linearity},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {503--517},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_38},
doi = {10.1007/978-3-540-30124-0\_38},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Ciabattoni04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Cordon-FrancoFM04,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Alejandro Fern{\'{a}}ndez{-}Margarit and
Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Provably Total Primitive Recursive Functions: Theories with Induction},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {355--369},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_28},
doi = {10.1007/978-3-540-30124-0\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Cordon-FrancoFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DawsonG04,
author = {Jeremy E. Dawson and
Rajeev Gor{\'{e}}},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {A General Theorem on Termination of Rewriting},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {100--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_11},
doi = {10.1007/978-3-540-30124-0\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DawsonG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EmersonK04,
author = {E. Allen Emerson and
Vineet Kahlon},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Parameterized Model Checking of Ring-Based Message Passing Systems},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {325--339},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_26},
doi = {10.1007/978-3-540-30124-0\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/EmersonK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GanzingerK04,
author = {Harald Ganzinger and
Konstantin Korovin},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Integrating Equational Reasoning into Instantiation-Based Theorem
Proving},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {71--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_9},
doi = {10.1007/978-3-540-30124-0\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GanzingerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GiacobazziM04,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Proving Abstract Non-interference},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {280--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_23},
doi = {10.1007/978-3-540-30124-0\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GiacobazziM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gianantonio04,
author = {Pietro Di Gianantonio},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {130--144},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_13},
doi = {10.1007/978-3-540-30124-0\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Gianantonio04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gimbert04,
author = {Hugo Gimbert},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Parity and Exploration Games on Infinite Graphs},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {56--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_8},
doi = {10.1007/978-3-540-30124-0\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Gimbert04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-LarrecqLNZ04,
author = {Jean Goubault{-}Larrecq and
Slawomir Lasota and
David Nowak and
Yu Zhang},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Complete Lax Logical Relations for Cryptographic Lambda-Calculi},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {400--414},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_31},
doi = {10.1007/978-3-540-30124-0\_31},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLNZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GrooteS04,
author = {Philippe de Groote and
Sylvain Salvati},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Higher-Order Matching in the Linear lambda-calculus with Pairing},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {220--234},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_19},
doi = {10.1007/978-3-540-30124-0\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GrooteS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hyland04,
author = {Martin Hyland},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Abstract Interpretation of Proofs: Classical Propositional Calculus},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {6--21},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_2},
doi = {10.1007/978-3-540-30124-0\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hyland04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hyvernat04,
author = {Pierre Hyvernat},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Predicate Transformers and Linear Logic: Yet Another Denotational
Model},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {115--129},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_12},
doi = {10.1007/978-3-540-30124-0\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hyvernat04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ImmermanRRSY04,
author = {Neil Immerman and
Alexander Moshe Rabinovich and
Thomas W. Reps and
Shmuel Sagiv and
Greta Yorsh},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {The Boundary Between Decidability and Undecidability for Transitive-Closure
Logics},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {160--174},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_15},
doi = {10.1007/978-3-540-30124-0\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ImmermanRRSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kameyama04,
author = {Yukiyoshi Kameyama},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Axioms for Delimited Continuations in the {CPS} Hierarchy},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {442--457},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_34},
doi = {10.1007/978-3-540-30124-0\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kameyama04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KorovinaV04,
author = {Margarita V. Korovina and
Nicolai N. Vorobjov Jr.},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Pfaffian Hybrid Systems},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {430--441},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_33},
doi = {10.1007/978-3-540-30124-0\_33},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/KorovinaV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lynch04,
author = {Christopher Lynch},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Unsound Theorem Proving},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {473--487},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_36},
doi = {10.1007/978-3-540-30124-0\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Lynch04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Maier04,
author = {Patrick Maier},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Intuitionistic {LTL} and a New Characterization of Safety and Liveness},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {295--309},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_24},
doi = {10.1007/978-3-540-30124-0\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Maier04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/McMillan04,
author = {Kenneth L. McMillan},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Applications of Craig Interpolation to Model Checking},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {22--23},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_3},
doi = {10.1007/978-3-540-30124-0\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/McMillan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MetcalfeOG04,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Goal-Directed Methods for Lukasiewicz Logic},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {85--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_10},
doi = {10.1007/978-3-540-30124-0\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MetcalfeOG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Miller04,
author = {Dale Miller},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier:
An Abstract},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {24},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_4},
doi = {10.1007/978-3-540-30124-0\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Miller04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Richerby04,
author = {David Richerby},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Logical Characterizations of {PSPACE}},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {370--384},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_29},
doi = {10.1007/978-3-540-30124-0\_29},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Richerby04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Rohde04,
author = {Philipp Rohde},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Moving in a Crumbling Network: The Balanced Case},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {310--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_25},
doi = {10.1007/978-3-540-30124-0\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Rohde04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RychlikowskiT04,
author = {Pawel Rychlikowski and
Tomasz Truderung},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Set Constraints on Regular Terms},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {458--472},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_35},
doi = {10.1007/978-3-540-30124-0\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RychlikowskiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SchoppS04,
author = {Ulrich Sch{\"{o}}pp and
Ian Stark},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {A Dependent Type Theory with Names and Binding},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {235--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_20},
doi = {10.1007/978-3-540-30124-0\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/SchoppS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schroder04,
author = {Lutz Schr{\"{o}}der},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {The Logic of the Partial lambda-Calculus with Equality},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {385--399},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_30},
doi = {10.1007/978-3-540-30124-0\_30},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schroder04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schubert04,
author = {Aleksy Schubert},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {On the Building of Affine Retractions},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {205--219},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_18},
doi = {10.1007/978-3-540-30124-0\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schubert04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Skelley04,
author = {Alan Skelley},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {A Third-Order Bounded Arithmetic Theory for {PSPACE}},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {340--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_27},
doi = {10.1007/978-3-540-30124-0\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Skelley04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/StrassburgerL04,
author = {Lutz Stra{\ss}burger and
Fran{\c{c}}ois Lamarche},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {On Proof Nets for Multiplicative Linear Logic with Units},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {145--159},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_14},
doi = {10.1007/978-3-540-30124-0\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/StrassburgerL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Urzyczyn04,
author = {Pawel Urzyczyn},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {My (Un)Favourite Things},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {25},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_5},
doi = {10.1007/978-3-540-30124-0\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Urzyczyn04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Vouillon04,
author = {Jerome Vouillon},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Subtyping Union Types},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {415--429},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_32},
doi = {10.1007/978-3-540-30124-0\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Vouillon04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Weber04,
author = {Tjark Weber},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Towards Mechanized Program Verification with Separation Logic},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {250--264},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_21},
doi = {10.1007/978-3-540-30124-0\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Weber04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2004,
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100120},
doi = {10.1007/B100120},
isbn = {3-540-23024-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 02:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
