Search dblp for Publications

export results for "stream:streams/conf/clandc:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1803-07313,
  author       = {Federico Aschieri},
  editor       = {Stefano Berardi and
                  Alexandre Miquel},
  title        = {On Natural Deduction for Herbrand Constructive Logics {III:} The Strange
                  Case of the Intuitionistic Logic of Constant Domains},
  booktitle    = {Proceedings Seventh International Workshop on Classical Logic and
                  Computation, CL{\&}C 2018, Oxford (UK), 7th of July 2018},
  series       = {{EPTCS}},
  volume       = {281},
  pages        = {1--9},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.281.1},
  doi          = {10.4204/EPTCS.281.1},
  timestamp    = {Tue, 04 Dec 2018 16:00:11 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-07313.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-07372,
  author       = {Andrea Condoluci and
                  Matteo Manighetti},
  editor       = {Stefano Berardi and
                  Alexandre Miquel},
  title        = {Admissible Tools in the Kitchen of Intuitionistic Logic},
  booktitle    = {Proceedings Seventh International Workshop on Classical Logic and
                  Computation, CL{\&}C 2018, Oxford (UK), 7th of July 2018},
  series       = {{EPTCS}},
  volume       = {281},
  pages        = {10--23},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.281.2},
  doi          = {10.4204/EPTCS.281.2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-07372.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-07373,
  author       = {Gabriel Ebner},
  editor       = {Stefano Berardi and
                  Alexandre Miquel},
  title        = {Fast Cut-Elimination using Proof Terms: An Empirical Study},
  booktitle    = {Proceedings Seventh International Workshop on Classical Logic and
                  Computation, CL{\&}C 2018, Oxford (UK), 7th of July 2018},
  series       = {{EPTCS}},
  volume       = {281},
  pages        = {24--38},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.281.3},
  doi          = {10.4204/EPTCS.281.3},
  timestamp    = {Tue, 04 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-07373.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-07374,
  author       = {Sorin Stratulat},
  editor       = {Stefano Berardi and
                  Alexandre Miquel},
  title        = {Validating Back-links of {FOLID} Cyclic Pre-proofs},
  booktitle    = {Proceedings Seventh International Workshop on Classical Logic and
                  Computation, CL{\&}C 2018, Oxford (UK), 7th of July 2018},
  series       = {{EPTCS}},
  volume       = {281},
  pages        = {39--53},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.281.4},
  doi          = {10.4204/EPTCS.281.4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-07374.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-05392,
  editor       = {Stefano Berardi and
                  Alexandre Miquel},
  title        = {Proceedings Seventh International Workshop on Classical Logic and
                  Computation, CL{\&}C 2018, Oxford (UK), 7th of July 2018},
  series       = {{EPTCS}},
  volume       = {281},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.281},
  doi          = {10.4204/EPTCS.281},
  timestamp    = {Tue, 04 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-05392.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AfshariHL16,
  author       = {Bahareh Afshari and
                  Stefan Hetzl and
                  Graham E. Leigh},
  editor       = {Ulrich Kohlenbach and
                  Steffen van Bakel and
                  Stefano Berardi},
  title        = {On the Herbrand content of {LK}},
  booktitle    = {Proceedings Sixth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2016, Porto, Portugal , 23th June 2016},
  series       = {{EPTCS}},
  volume       = {213},
  pages        = {1--10},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.213.1},
  doi          = {10.4204/EPTCS.213.1},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AfshariHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Akiba16,
  author       = {Ken Akiba},
  editor       = {Ulrich Kohlenbach and
                  Steffen van Bakel and
                  Stefano Berardi},
  title        = {Denotational Semantics of the Simplified Lambda-Mu Calculus and a
                  New Deduction System of Classical Type Theory},
  booktitle    = {Proceedings Sixth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2016, Porto, Portugal , 23th June 2016},
  series       = {{EPTCS}},
  volume       = {213},
  pages        = {11--23},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.213.2},
  doi          = {10.4204/EPTCS.213.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Akiba16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sanders16,
  author       = {Sam Sanders},
  editor       = {Ulrich Kohlenbach and
                  Steffen van Bakel and
                  Stefano Berardi},
  title        = {The computational content of Nonstandard Analysis},
  booktitle    = {Proceedings Sixth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2016, Porto, Portugal , 23th June 2016},
  series       = {{EPTCS}},
  volume       = {213},
  pages        = {24--40},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.213.3},
  doi          = {10.4204/EPTCS.213.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Sanders16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Santo16,
  author       = {Jos{\'{e}} Esp{\'{\i}}rito Santo},
  editor       = {Ulrich Kohlenbach and
                  Steffen van Bakel and
                  Stefano Berardi},
  title        = {A note on strong normalization in classical natural deduction},
  booktitle    = {Proceedings Sixth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2016, Porto, Portugal , 23th June 2016},
  series       = {{EPTCS}},
  volume       = {213},
  pages        = {41--51},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.213.4},
  doi          = {10.4204/EPTCS.213.4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Santo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KohlenbachBB16,
  editor       = {Ulrich Kohlenbach and
                  Steffen van Bakel and
                  Stefano Berardi},
  title        = {Proceedings Sixth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2016, Porto, Portugal , 23th June 2016},
  series       = {{EPTCS}},
  volume       = {213},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.213},
  doi          = {10.4204/EPTCS.213},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KohlenbachBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BakelV14,
  author       = {Steffen van Bakel and
                  Maria Grazia Vigliotti},
  editor       = {Paulo Oliva},
  title        = {A fully-abstract semantics of lambda-mu in the pi-calculus},
  booktitle    = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  pages        = {33--47},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164.3},
  doi          = {10.4204/EPTCS.164.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BakelV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Basaldella14,
  author       = {Michele Basaldella},
  editor       = {Paulo Oliva},
  title        = {Infinitary Classical Logic: Recursive Equations and Interactive Semantics},
  booktitle    = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  pages        = {48--62},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164.4},
  doi          = {10.4204/EPTCS.164.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Basaldella14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Beffara14,
  author       = {Emmanuel Beffara},
  editor       = {Paulo Oliva},
  title        = {A logical view on scheduling in concurrency},
  booktitle    = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  pages        = {78--92},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164.6},
  doi          = {10.4204/EPTCS.164.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Beffara14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GeuversGGS14,
  author       = {Herman Geuvers and
                  Wouter Geraedts and
                  Bram Geron and
                  Judith van Stegeren},
  editor       = {Paulo Oliva},
  title        = {A type system for Continuation Calculus},
  booktitle    = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  pages        = {1--17},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164.1},
  doi          = {10.4204/EPTCS.164.1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GeuversGGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MannaaC14,
  author       = {Bassel Mannaa and
                  Thierry Coquand},
  editor       = {Paulo Oliva},
  title        = {A Sheaf Model of the Algebraic Closure},
  booktitle    = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  pages        = {18--32},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164.2},
  doi          = {10.4204/EPTCS.164.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MannaaC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SantoMNP14,
  author       = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
                  Ralph Matthes and
                  Koji Nakazawa and
                  Lu{\'{\i}}s Pinto},
  editor       = {Paulo Oliva},
  title        = {Confluence for classical logic through the distinction between values
                  and computations},
  booktitle    = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  pages        = {63--77},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164.5},
  doi          = {10.4204/EPTCS.164.5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SantoMNP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Oliva14,
  editor       = {Paulo Oliva},
  title        = {Proceedings Fifth International Workshop on Classical Logic and Computation,
                  CL{\&}C 2014, Vienna, Austria, July 13, 2014},
  series       = {{EPTCS}},
  volume       = {164},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.164},
  doi          = {10.4204/EPTCS.164},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Oliva14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3114,
  author       = {Federico Aschieri and
                  Margherita Zorzi},
  editor       = {Herman Geuvers and
                  Ugo de'Liguoro},
  title        = {Interactive Realizability and the elimination of Skolem functions
                  in Peano Arithmetic},
  booktitle    = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
                  2012, Warwick, England, 8th July 2012},
  series       = {{EPTCS}},
  volume       = {97},
  pages        = {1--18},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.97.1},
  doi          = {10.4204/EPTCS.97.1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-3114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3115,
  author       = {Robbert Krebbers},
  editor       = {Herman Geuvers and
                  Ugo de'Liguoro},
  title        = {A call-by-value lambda-calculus with lists and control},
  booktitle    = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
                  2012, Warwick, England, 8th July 2012},
  series       = {{EPTCS}},
  volume       = {97},
  pages        = {19--33},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.97.2},
  doi          = {10.4204/EPTCS.97.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-3115.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3116,
  author       = {Koji Nakazawa and
                  Shin{-}ya Katsumata},
  editor       = {Herman Geuvers and
                  Ugo de'Liguoro},
  title        = {Extensional Models of Untyped Lambda-mu Calculus},
  booktitle    = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
                  2012, Warwick, England, 8th July 2012},
  series       = {{EPTCS}},
  volume       = {97},
  pages        = {35--47},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.97.3},
  doi          = {10.4204/EPTCS.97.3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-3116.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3117,
  author       = {Thomas Powell},
  editor       = {Herman Geuvers and
                  Ugo de'Liguoro},
  title        = {Applying G{\"{o}}del's Dialectica Interpretation to Obtain a
                  Constructive Proof of Higman's Lemma},
  booktitle    = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
                  2012, Warwick, England, 8th July 2012},
  series       = {{EPTCS}},
  volume       = {97},
  pages        = {49--62},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.97.4},
  doi          = {10.4204/EPTCS.97.4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-3117.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-2890,
  editor       = {Herman Geuvers and
                  Ugo de'Liguoro},
  title        = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
                  2012, Warwick, England, 8th July 2012},
  series       = {{EPTCS}},
  volume       = {97},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.97},
  doi          = {10.4204/EPTCS.97},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-2890.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5441,
  author       = {Federico Aschieri},
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {Interactive Learning Based Realizability and 1-Backtracking Games},
  booktitle    = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  pages        = {6--20},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47.3},
  doi          = {10.4204/EPTCS.47.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5441.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5442,
  author       = {Gilda Ferreira and
                  Paulo Oliva},
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {On Various Negative Translations},
  booktitle    = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  pages        = {21--33},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47.4},
  doi          = {10.4204/EPTCS.47.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5442.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5443,
  author       = {Cl{\'{e}}ment Houtmann},
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {Superdeduction in Lambda-Bar-Mu-Mu-Tilde},
  booktitle    = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  pages        = {34--43},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47.5},
  doi          = {10.4204/EPTCS.47.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5443.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5444,
  author       = {Reinhard Kahle and
                  Isabel Oitavem},
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {An applicative theory for {FPH}},
  booktitle    = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  pages        = {44--56},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47.6},
  doi          = {10.4204/EPTCS.47.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5444.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5445,
  author       = {Lu{\'{\i}}s Pinto and
                  Tarmo Uustalu},
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {Relating Sequent Calculi for Bi-intuitionistic Propositional Logic},
  booktitle    = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  pages        = {57--72},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47.7},
  doi          = {10.4204/EPTCS.47.7},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5445.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5446,
  author       = {Trifon Trifonov},
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {Dialectica Interpretation with Marked Counterexamples},
  booktitle    = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  pages        = {73--84},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47.8},
  doi          = {10.4204/EPTCS.47.8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5446.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1101-5200,
  editor       = {Steffen van Bakel and
                  Stefano Berardi and
                  Ulrich Berger},
  title        = {Proceedings Third International Workshop on Classical Logic and Computation,
                  CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
  series       = {{EPTCS}},
  volume       = {47},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.47},
  doi          = {10.4204/EPTCS.47},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-5200.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics