Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/clandc:"
@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} }
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.