default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tableaux/tableaux2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/0002K19,
author = {Michael F{\"{a}}rber and
Cezary Kaliszyk},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Certification of Nonclausal Connection Tableaux Proofs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {21--38},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_2},
doi = {10.1007/978-3-030-29026-9\_2},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/0002K19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/AcclavioS19,
author = {Matteo Acclavio and
Lutz Stra{\ss}burger},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {On Combinatorial Proofs for Modal Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {223--240},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_13},
doi = {10.1007/978-3-030-29026-9\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/AcclavioS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BritzV19,
author = {Katarina Britz and
Ivan Varzinczak},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Preferential Tableaux for Contextual Defeasible \emph{ALC}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {39--57},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_3},
doi = {10.1007/978-3-030-29026-9\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BritzV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CiabattoniLR19,
author = {Agata Ciabattoni and
Timo Lang and
Revantha Ramanayake},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Bounded Sequent Calculi for Non-classical Logics via Hypersequents},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {94--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_6},
doi = {10.1007/978-3-030-29026-9\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CiabattoniLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DeS19,
author = {Abhishek De and
Alexis Saurin},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {297--316},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_17},
doi = {10.1007/978-3-030-29026-9\_17},
timestamp = {Mon, 17 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/DeS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DochertyR19,
author = {Simon Docherty and
Reuben N. S. Rowe},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {A Non-wellfounded, Labelled Proof System for Propositional Dynamic
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {335--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_19},
doi = {10.1007/978-3-030-29026-9\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/DochertyR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DvirA19,
author = {Yotam Dvir and
Arnon Avron},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {First-Order Quasi-canonical Proof Systems},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {77--93},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_5},
doi = {10.1007/978-3-030-29026-9\_5},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DvirA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Ebner19,
author = {Gabriel Ebner},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Herbrand Constructivization for Automated Intuitionistic Theorem Proving},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {355--373},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_20},
doi = {10.1007/978-3-030-29026-9\_20},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Ebner19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/EchenimIP19,
author = {Mnacho Echenim and
Radu Iosif and
Nicolas Peltier},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Prenex Separation Logic with One Selector Field},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {409--427},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_23},
doi = {10.1007/978-3-030-29026-9\_23},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/EchenimIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FiorentiniGG19,
author = {Camillo Fiorentini and
Rajeev Gor{\'{e}} and
St{\'{e}}phane Graham{-}Lengrand},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {111--129},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_7},
doi = {10.1007/978-3-030-29026-9\_7},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/FiorentiniGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GainaT19,
author = {Daniel G{\^{a}}in{\^{a}} and
Ionut Tutu},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Birkhoff Completeness for Hybrid-Dynamic First-Order Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {277--293},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_16},
doi = {10.1007/978-3-030-29026-9\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GainaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GalmicheMM19,
author = {Didier Galmiche and
Michel Marti and
Daniel M{\'{e}}ry},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Relating Labelled and Label-Free Bunched Calculi in {BI} Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {130--146},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_8},
doi = {10.1007/978-3-030-29026-9\_8},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GalmicheMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GeattiGM19,
author = {Luca Geatti and
Nicola Gigante and
Angelo Montanari},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System
for {LTL}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_1},
doi = {10.1007/978-3-030-29026-9\_1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GeattiGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GoertzelJU19,
author = {Zarathustra Amadeus Goertzel and
Jan Jakubuv and
Josef Urban},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {ENIGMAWatch: ProofWatch Meets {ENIGMA}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {374--388},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_21},
doi = {10.1007/978-3-030-29026-9\_21},
timestamp = {Sat, 28 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GoertzelJU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GoreL19,
author = {Rajeev Gor{\'{e}} and
Bj{\"{o}}rn Lellmann},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic
via Linear Nested Sequents},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {185--202},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_11},
doi = {10.1007/978-3-030-29026-9\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GoreL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Kamburjan19,
author = {Eduard Kamburjan},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Behavioral Program Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {391--408},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_22},
doi = {10.1007/978-3-030-29026-9\_22},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Kamburjan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LangOPF19,
author = {Timo Lang and
Carlos Olarte and
Elaine Pimentel and
Christian G. Ferm{\"{u}}ller},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {A Game Model for Proofs with Costs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {241--258},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_14},
doi = {10.1007/978-3-030-29026-9\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LangOPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lellmann19,
author = {Bj{\"{o}}rn Lellmann},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Combining Monotone and Normal Modal Logic in Nested Sequents - with
Countermodels},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {203--220},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_12},
doi = {10.1007/978-3-030-29026-9\_12},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Lellmann19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LeusteanMS19,
author = {Ioana Leustean and
Natalia Moanga and
Traian{-}Florin Serbanuta},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Operational Semantics and Program Verification Using Many-Sorted Hybrid
Modal Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {446--476},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_25},
doi = {10.1007/978-3-030-29026-9\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LeusteanMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LiMS19,
author = {Chu Min Li and
Felip Many{\`{a}} and
Joan Ramon Soler},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {A Tableau Calculus for Non-clausal Maximum Satisfiability},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {58--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_4},
doi = {10.1007/978-3-030-29026-9\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LiMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lick19,
author = {Anthony Lick},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {A Hypersequent Calculus with Clusters for Data Logic over Ordinals},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {166--184},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_10},
doi = {10.1007/978-3-030-29026-9\_10},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Lick19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MartinsPL19,
author = {Jo{\~{a}}o G. Martins and
Andr{\'{e}} Platzer and
Jo{\~{a}}o Leite},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical
Systems},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {428--445},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_24},
doi = {10.1007/978-3-030-29026-9\_24},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MartinsPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/NolletST19,
author = {R{\'{e}}mi Nollet and
Alexis Saurin and
Christine Tasson},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear
Logic with Least and Greatest Fixed Points},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {317--334},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_18},
doi = {10.1007/978-3-030-29026-9\_18},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NolletST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/PimentelRL19,
author = {Elaine Pimentel and
Revantha Ramanayake and
Bj{\"{o}}rn Lellmann},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Sequentialising Nested Systems},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {147--165},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_9},
doi = {10.1007/978-3-030-29026-9\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/PimentelRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RalphS19,
author = {Benjamin Ralph and
Lutz Stra{\ss}burger},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Towards a Combinatorial Proof Theory},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {259--276},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_15},
doi = {10.1007/978-3-030-29026-9\_15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/RalphS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2019,
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9},
doi = {10.1007/978-3-030-29026-9},
isbn = {978-3-030-29025-2},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2019.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.
retrieved on 2024-09-21 19:12 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:
