Search dblp for Publications

export results for "toc:db/conf/tableaux/tableaux2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tableaux/Barnett17,
  author       = {Lee A. Barnett},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Goal-Sensitive Reasoning with Disconnection Tableaux},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {163--174},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_10},
  doi          = {10.1007/978-3-319-66902-1\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Barnett17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/BaumgartnerTT17,
  author       = {Peter Baumgartner and
                  Sylvie Thi{\'{e}}baux and
                  Felipe W. Trevizan},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Tableaux for Policy Synthesis for MDPs with PCTL* Constraints},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_11},
  doi          = {10.1007/978-3-319-66902-1\_11},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/BaumgartnerTT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Bibel17,
  author       = {Wolfgang Bibel},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {A Vision for Automated Deduction Rooted in the Connection Method},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_1},
  doi          = {10.1007/978-3-319-66902-1\_1},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Bibel17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Bimbo17,
  author       = {Katalin Bimb{\'{o}}},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {On the Decidability of Certain Semi-Lattice Based Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {44--61},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_3},
  doi          = {10.1007/978-3-319-66902-1\_3},
  timestamp    = {Thu, 12 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Bimbo17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/CernaL17,
  author       = {David M. Cerna and
                  Michael Peter Lettmann},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Integrating a Global Induction Mechanism into a Sequent Calculus},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {278--294},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_17},
  doi          = {10.1007/978-3-319-66902-1\_17},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/CernaL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Cerrito017,
  author       = {Serenella Cerrito and
                  Am{\'{e}}lie David},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Minimisation of {ATL} * Models},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {193--208},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_12},
  doi          = {10.1007/978-3-319-66902-1\_12},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Cerrito017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Cohen17,
  author       = {Liron Cohen},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Completeness for Ancestral Logic via a Computationally-Meaningful
                  Semantics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {247--260},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_15},
  doi          = {10.1007/978-3-319-66902-1\_15},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Cohen17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DasP17,
  author       = {Anupam Das and
                  Damien Pous},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {A Cut-Free Cyclic Proof System for Kleene Algebra},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {261--277},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_16},
  doi          = {10.1007/978-3-319-66902-1\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/DasP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DawsonG17,
  author       = {Jeremy E. Dawson and
                  Rajeev Gor{\'{e}}},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Issues in Machine-Checking the Decidability of Implicational Ticket
                  Entailment},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {347--363},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_21},
  doi          = {10.1007/978-3-319-66902-1\_21},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/DawsonG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DinHJPT17,
  author       = {Crystal Chang Din and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ka I Pun and
                  Silvia Lizeth Tapia Tarifa},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
                  Languages},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {22--43},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_2},
  doi          = {10.1007/978-3-319-66902-1\_2},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/DinHJPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/FermullerL17,
  author       = {Christian G. Ferm{\"{u}}ller and
                  Timo Lang},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Interpreting Sequent Calculi as Client-Server Games},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_6},
  doi          = {10.1007/978-3-319-66902-1\_6},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/FermullerL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/FiorentiniF17,
  author       = {Camillo Fiorentini and
                  Mauro Ferrari},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {A Forward Unprovability Calculus for Intuitionistic Propositional
                  Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_7},
  doi          = {10.1007/978-3-319-66902-1\_7},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/FiorentiniF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/GirlandoLOP17,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Gian Luca Pozzato},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Hypersequent Calculi for Lewis' Conditional Logics with Uniformity
                  and Reflexivity},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {131--148},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_8},
  doi          = {10.1007/978-3-319-66902-1\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/GirlandoLOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/GirlandoLOPV17,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Gian Luca Pozzato and
                  Quentin Vitalis},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {{VINTE:} An Implementation of Internal Calculi for Lewis' Logics of
                  Counterfactual Reasoning},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {149--159},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_9},
  doi          = {10.1007/978-3-319-66902-1\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/GirlandoLOPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/LahavZ17,
  author       = {Ori Lahav and
                  Yoni Zohar},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Cut-Admissibility as a Corollary of the Subformula Property},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {65--80},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_4},
  doi          = {10.1007/978-3-319-66902-1\_4},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/LahavZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/MarinS17,
  author       = {Sonia Marin and
                  Lutz Stra{\ss}burger},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Proof Theory for Indexed Nested Sequents},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {81--97},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_5},
  doi          = {10.1007/978-3-319-66902-1\_5},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/MarinS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Oliveira17,
  author       = {Mateus de Oliveira Oliveira},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Parameterized Provability in Equational Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {364--380},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_22},
  doi          = {10.1007/978-3-319-66902-1\_22},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Oliveira17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Otten17,
  author       = {Jens Otten},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Non-clausal Connection Calculi for Non-classical Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {209--227},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_13},
  doi          = {10.1007/978-3-319-66902-1\_13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Otten17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/RoweB17,
  author       = {Reuben N. S. Rowe and
                  James Brotherston},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Realizability in Cyclic Proof: Extracting Ordering Information for
                  Infinite Descent},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {295--310},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_18},
  doi          = {10.1007/978-3-319-66902-1\_18},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/RoweB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Schmitt17,
  author       = {Peter H. Schmitt},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {A Mechanizable First-Order Theory of Ordinals},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {331--346},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_20},
  doi          = {10.1007/978-3-319-66902-1\_20},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Schmitt17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Stratulat17,
  author       = {Sorin Stratulat},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Cyclic Proofs with Ordering Constraints},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {311--327},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_19},
  doi          = {10.1007/978-3-319-66902-1\_19},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Stratulat17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/TishkovskyS17,
  author       = {Dmitry Tishkovsky and
                  Renate A. Schmidt},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Rule Refinement for Semantic Tableau Calculi},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {228--244},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_14},
  doi          = {10.1007/978-3-319-66902-1\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/TishkovskyS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tableaux/2017,
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1},
  doi          = {10.1007/978-3-319-66902-1},
  isbn         = {978-3-319-66901-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.