BibTeX records: Reinhard Kahle

download as .bib file

@article{DBLP:journals/sLogica/Kahle19,
  author    = {Reinhard Kahle},
  title     = {Is There a "Hilbert Thesis"?},
  journal   = {Studia Logica},
  volume    = {107},
  number    = {1},
  pages     = {145--165},
  year      = {2019},
  url       = {https://doi.org/10.1007/s11225-017-9776-2},
  doi       = {10.1007/s11225-017-9776-2},
  timestamp = {Fri, 15 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/Kahle19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Kahle17,
  author    = {Reinhard Kahle},
  title     = {The logical Cone},
  journal   = {{FLAP}},
  volume    = {4},
  number    = {4},
  year      = {2017},
  url       = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf},
  timestamp = {Mon, 22 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/flap/Kahle17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonfanteKMO16,
  author    = {Guillaume Bonfante and
               Reinhard Kahle and
               Jean{-}Yves Marion and
               Isabel Oitavem},
  title     = {Two function algebras defining functions in NC\({}^{\mbox{k}}\) boolean
               circuits},
  journal   = {Inf. Comput.},
  volume    = {248},
  pages     = {82--103},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.ic.2015.12.009},
  doi       = {10.1016/j.ic.2015.12.009},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BonfanteKMO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KahleK15,
  author    = {Reinhard Kahle and
               Wilfried Keller},
  title     = {Syntax versus Semantics},
  journal   = {CoRR},
  volume    = {abs/1507.04678},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.04678},
  archivePrefix = {arXiv},
  eprint    = {1507.04678},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KahleK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kahle14,
  author    = {Reinhard Kahle},
  title     = {Towards the Structure of Mathematical Proof},
  booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
               Work in Progress track at {CICM} co-located with Conferences on Intelligent
               Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
               2014.},
  year      = {2014},
  crossref  = {DBLP:conf/mkm/2014ws},
  url       = {http://ceur-ws.org/Vol-1186/paper-22.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/Kahle14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KahleO13,
  author    = {Reinhard Kahle and
               Isabel Oitavem},
  title     = {Applicative theories for the polynomial hierarchy of time and its
               levels},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {164},
  number    = {6},
  pages     = {663--675},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.apal.2012.05.006},
  doi       = {10.1016/j.apal.2012.05.006},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/KahleO13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Kahle12,
  author    = {Reinhard Kahle},
  title     = {Modalities Without Worlds},
  booktitle = {The Realism-Antirealism Debate in the Age of Alternative Logics},
  pages     = {101--118},
  year      = {2012},
  crossref  = {DBLP:series/leus/Rahman12},
  url       = {https://doi.org/10.1007/978-94-007-1923-1\_6},
  doi       = {10.1007/978-94-007-1923-1\_6},
  timestamp = {Fri, 09 Jun 2017 11:04:31 +0200},
  biburl    = {https://dblp.org/rec/bib/series/leus/Kahle12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Kahle11,
  author    = {Reinhard Kahle},
  title     = {The Universal Set and Diagonalization in Frege Structures},
  journal   = {Rew. Symb. Logic},
  volume    = {4},
  number    = {2},
  pages     = {205--218},
  year      = {2011},
  url       = {https://doi.org/10.1017/S1755020310000407},
  doi       = {10.1017/S1755020310000407},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rsl/Kahle11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5444,
  author    = {Reinhard Kahle and
               Isabel Oitavem},
  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.},
  pages     = {44--56},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1101-5200},
  url       = {https://doi.org/10.4204/EPTCS.47.6},
  doi       = {10.4204/EPTCS.47.6},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1101-5444},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2009,
  editor    = {Erich Gr{\"{a}}del and
               Reinhard Kahle},
  title     = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
               Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5771},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04027-6},
  doi       = {10.1007/978-3-642-04027-6},
  isbn      = {978-3-642-04026-9},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonfanteKMO08,
  author    = {Guillaume Bonfante and
               Reinhard Kahle and
               Jean{-}Yves Marion and
               Isabel Oitavem},
  title     = {Recursion Schemata for NCk},
  booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
               Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
               2008. Proceedings},
  pages     = {49--63},
  year      = {2008},
  crossref  = {DBLP:conf/csl/2008},
  url       = {https://doi.org/10.1007/978-3-540-87531-4\_6},
  doi       = {10.1007/978-3-540-87531-4\_6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/BonfanteKMO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kahle07,
  author    = {Reinhard Kahle},
  title     = {Edwin D. Mares, Relevant Logic - {A} Philosophical Interpretation},
  journal   = {Studia Logica},
  volume    = {85},
  number    = {3},
  pages     = {419--424},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11225-007-9041-1},
  doi       = {10.1007/s11225-007-9041-1},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/Kahle07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kahle07a,
  author    = {Reinhard Kahle},
  title     = {Freek Wiedijk (Ed.), The Seventeen Provers of the World},
  journal   = {Studia Logica},
  volume    = {87},
  number    = {2-3},
  pages     = {369--374},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11225-007-9093-2},
  doi       = {10.1007/s11225-007-9093-2},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/Kahle07a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/KahleS06,
  author    = {Reinhard Kahle and
               Peter Schroeder{-}Heister},
  title     = {Introduction: Proof-theoretic Semantics},
  journal   = {Synthese},
  volume    = {148},
  number    = {3},
  pages     = {503--506},
  year      = {2006},
  url       = {https://doi.org/10.1007/s11229-004-6292-5},
  doi       = {10.1007/s11229-004-6292-5},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/synthese/KahleS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Kahle06,
  author    = {Reinhard Kahle},
  title     = {A Proof-theoretic View of Necessity},
  journal   = {Synthese},
  volume    = {148},
  number    = {3},
  pages     = {659--673},
  year      = {2006},
  url       = {https://doi.org/10.1007/s11229-004-6293-4},
  doi       = {10.1007/s11229-004-6293-4},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/synthese/Kahle06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonfanteKMO06,
  author    = {Guillaume Bonfante and
               Reinhard Kahle and
               Jean{-}Yves Marion and
               Isabel Oitavem},
  title     = {Towards an Implicit Characterization of \emph{NC}\({}^{\mbox{\emph{k}}}\)},
  booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
               Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
               2006, Proceedings},
  pages     = {212--224},
  year      = {2006},
  crossref  = {DBLP:conf/csl/2006},
  url       = {https://doi.org/10.1007/11874683\_14},
  doi       = {10.1007/11874683\_14},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/BonfanteKMO06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BuchholzK05,
  author    = {Wilfried Buchholz and
               Reinhard Kahle},
  title     = {Preface},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {133},
  number    = {1-3},
  pages     = {1},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.001},
  doi       = {10.1016/j.apal.2004.10.001},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/BuchholzK05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BuldtHK05,
  author    = {Bernd Buldt and
               Volker Halbach and
               Reinhard Kahle},
  title     = {Reflections On Frege And Hilbert},
  journal   = {Synthese},
  volume    = {147},
  number    = {1},
  pages     = {1--2},
  year      = {2005},
  url       = {https://doi.org/10.1007/s11229-004-6203-9},
  doi       = {10.1007/s11229-004-6203-9},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/synthese/BuldtHK05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kahle03,
  author    = {Reinhard Kahle},
  title     = {Universes over Frege structures},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {119},
  number    = {1-3},
  pages     = {191--223},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(02)00040-4},
  doi       = {10.1016/S0168-0072(02)00040-4},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/Kahle03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Kahle02,
  author    = {Reinhard Kahle},
  title     = {Mathematical Proof Theory in the Light of Ordinal Analysis},
  journal   = {Synthese},
  volume    = {133},
  number    = {1-2},
  pages     = {237--255},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1020892011851},
  doi       = {10.1023/A:1020892011851},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/synthese/Kahle02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JargerKS01,
  author    = {Gerhard J{\"{a}}ger and
               Reinhard Kahle and
               Thomas Studer},
  title     = {Universes in explicit mathematics},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {109},
  number    = {3},
  pages     = {141--162},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0168-0072(00)00057-9},
  doi       = {10.1016/S0168-0072(00)00057-9},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/JargerKS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KahleS01,
  author    = {Reinhard Kahle and
               Thomas Studer},
  title     = {Formalizing non-termination of recursive programs},
  journal   = {J. Log. Algebr. Program.},
  volume    = {49},
  number    = {1-2},
  pages     = {1--14},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1567-8326(01)00006-6},
  doi       = {10.1016/S1567-8326(01)00006-6},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KahleS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kahle01,
  author    = {Reinhard Kahle},
  title     = {Truth in Applicative Theories},
  journal   = {Studia Logica},
  volume    = {68},
  number    = {1},
  pages     = {103--128},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1011954206722},
  doi       = {10.1023/A:1011954206722},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/Kahle01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2001ptcs,
  editor    = {Reinhard Kahle and
               Peter Schroeder{-}Heister and
               Robert F. St{\"{a}}rk},
  title     = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001,
               Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2183},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45504-3},
  doi       = {10.1007/3-540-45504-3},
  isbn      = {3-540-42752-X},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2001ptcs},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kahle00,
  author    = {Reinhard Kahle},
  title     = {N{\textbackslash}hbox\{{\textbackslash}sf N\}-strictness in applicative
               theories},
  journal   = {Arch. Math. Log.},
  volume    = {39},
  number    = {2},
  pages     = {125--144},
  year      = {2000},
  url       = {https://doi.org/10.1007/s001530050007},
  doi       = {10.1007/s001530050007},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aml/Kahle00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Kahle00,
  author    = {Reinhard Kahle},
  title     = {Proof-theoretic notions for software maintenance},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {40},
  pages     = {206--219},
  year      = {2000},
  url       = {https://doi.org/10.1016/S1571-0661(05)80048-9},
  doi       = {10.1016/S1571-0661(05)80048-9},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Kahle00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KahleS00,
  author    = {Reinhard Kahle and
               Thomas Studer},
  title     = {A Theory of Explicit Mathematics Equivalent to ID\({}_{\mbox{1}}\)},
  booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
               Germany, August 21-26, 2000, Proceedings},
  pages     = {356--370},
  year      = {2000},
  crossref  = {DBLP:conf/csl/2000},
  url       = {https://doi.org/10.1007/3-540-44622-2\_24},
  doi       = {10.1007/3-540-44622-2\_24},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/KahleS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerKSS99,
  author    = {Gerhard J{\"{a}}ger and
               Reinhard Kahle and
               Anton Setzer and
               Thomas Strahm},
  title     = {The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point
               Theories},
  journal   = {J. Symb. Log.},
  volume    = {64},
  number    = {1},
  pages     = {53--67},
  year      = {1999},
  url       = {https://doi.org/10.2307/2586750},
  doi       = {10.2307/2586750},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsyml/JagerKSS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kahle99,
  author    = {Reinhard Kahle},
  title     = {Frege Structures for Partial Applicative Theories},
  journal   = {J. Log. Comput.},
  volume    = {9},
  number    = {5},
  pages     = {683--700},
  year      = {1999},
  url       = {https://doi.org/10.1093/logcom/9.5.683},
  doi       = {10.1093/logcom/9.5.683},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/Kahle99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2014ws,
  editor    = {Matthew England and
               James H. Davenport and
               Andrea Kohlhase and
               Michael Kohlhase and
               Paul Libbrecht and
               Walther Neuper and
               Pedro Quaresma and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban and
               Stephen M. Watt},
  title     = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
               Work in Progress track at {CICM} co-located with Conferences on Intelligent
               Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
               2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1186},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1186},
  urn       = {urn:nbn:de:0074-1186-1},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2014ws},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/leus/Rahman12,
  editor    = {Shahid Rahman and
               Giuseppe Primiero and
               Mathieu Marion},
  title     = {The Realism-Antirealism Debate in the Age of Alternative Logics},
  series    = {Logic, Epistemology, and the Unity of Science},
  volume    = {23},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-94-007-1923-1},
  doi       = {10.1007/978-94-007-1923-1},
  isbn      = {978-94-007-1922-4},
  timestamp = {Fri, 09 Jun 2017 11:04:31 +0200},
  biburl    = {https://dblp.org/rec/bib/series/leus/Rahman12},
  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:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1101-5200},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2008,
  editor    = {Michael Kaminski and
               Simone Martini},
  title     = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
               Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5213},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87531-4},
  doi       = {10.1007/978-3-540-87531-4},
  isbn      = {978-3-540-87530-7},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2006,
  editor    = {Zolt{\'{a}}n {\'{E}}sik},
  title     = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
               Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
               2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4207},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11874683},
  doi       = {10.1007/11874683},
  isbn      = {3-540-45458-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2000,
  editor    = {Peter Clote and
               Helmut Schwichtenberg},
  title     = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
               Germany, August 21-26, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1862},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44622-2},
  doi       = {10.1007/3-540-44622-2},
  isbn      = {3-540-67895-6},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier