Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wollic/wollic2021.bht:"
download as .bib file
@inproceedings{DBLP:conf/wollic/BalbianiG21,
author = {Philippe Balbiani and
Sa{\'{u}}l Fern{\'{a}}ndez Gonz{\'{a}}lez},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Orthogonal Frames and Indexed Relations},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {219--234},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_14},
doi = {10.1007/978-3-030-88853-4\_14},
timestamp = {Wed, 07 Dec 2022 23:14:05 +0100},
biburl = {https://dblp.org/rec/conf/wollic/BalbianiG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BarlagV21,
author = {Timon Barlag and
Heribert Vollmer},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {A Logical Characterization of Constant-Depth Circuits over the Reals},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {16--30},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_2},
doi = {10.1007/978-3-030-88853-4\_2},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/BarlagV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CattaS21,
author = {Davide Catta and
Symon Jory Stevens{-}Guille},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis
and Anaphora Resolution},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {269--286},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_17},
doi = {10.1007/978-3-030-88853-4\_17},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/CattaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Ditmarsch21,
author = {Hans van Ditmarsch},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {31--46},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_3},
doi = {10.1007/978-3-030-88853-4\_3},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Ditmarsch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Freiman21,
author = {Robert Freiman},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Games for Hybrid Logic - From Semantic Games to Analytic Calculi},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {133--149},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_9},
doi = {10.1007/978-3-030-88853-4\_9},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Freiman21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/From21,
author = {Asta Halkj{\ae}r From},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Formalized Soundness and Completeness of Epistemic Logic},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {1--15},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_1},
doi = {10.1007/978-3-030-88853-4\_1},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/From21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Galliani21,
author = {Pietro Galliani},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Doubly Strongly First Order Dependencies},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {47--63},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_4},
doi = {10.1007/978-3-030-88853-4\_4},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Galliani21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GiessenJK21,
author = {Iris van der Giessen and
Raheleh Jalali and
Roman Kuznets},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Uniform Interpolation via Nested Sequents},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {337--354},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_21},
doi = {10.1007/978-3-030-88853-4\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GiessenJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GonzalezA21,
author = {Nicol{\'{a}}s Gonz{\'{a}}lez and
Sergio Abriola},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Characterizations for XPath \({}_{\mbox{ R}}\)({\dj}ownarrow {)}},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {319--336},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_20},
doi = {10.1007/978-3-030-88853-4\_20},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GonzalezA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/IordacheC21,
author = {Viorel Iordache and
{\c{S}}tefan Ciob{\^{a}}c{\u{a}}},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Verifying the Conversion into {CNF} in Dafny},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {150--166},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_10},
doi = {10.1007/978-3-030-88853-4\_10},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/IordacheC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KonecnyPT21,
author = {Michal Konecn{\'{y}} and
Sewon Park and
Holger Thies},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Axiomatic Reals and Certified Efficient Exact Real Computation},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {252--268},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_16},
doi = {10.1007/978-3-030-88853-4\_16},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/KonecnyPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenS21,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {On the Expressive Power of TeamLTL and First-Order Team Logic over
Hyperproperties},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {302--318},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_19},
doi = {10.1007/978-3-030-88853-4\_19},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/KontinenS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Leivant21,
author = {Daniel Leivant},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Algorithmically Broad Languages for Polynomial Time and Space},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {372--387},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_23},
doi = {10.1007/978-3-030-88853-4\_23},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Leivant21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LeviA21,
author = {Nissan Levi and
Arnon Avron},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Analysis in a Formal Predicative Set Theory},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {167--183},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_11},
doi = {10.1007/978-3-030-88853-4\_11},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/LeviA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LiGLT21,
author = {Dazhu Li and
Sujata Ghosh and
Fenrong Liu and
Yaxin Tu},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {On the Subtle Nature of a Simple Logic of the Hide and Seek Game},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {201--218},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_13},
doi = {10.1007/978-3-030-88853-4\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/LiGLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MarinPPS21,
author = {Sonia Marin and
Luiz Carlos Pereira and
Elaine Pimentel and
Emerson Sales},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {A Pure View of Ecumenical Modalities},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {388--407},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_24},
doi = {10.1007/978-3-030-88853-4\_24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/MarinPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Pavlova21,
author = {Alexandra Pavlova},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Provability Games for Non-classical Logics},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {408--425},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_25},
doi = {10.1007/978-3-030-88853-4\_25},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Pavlova21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Pezlar21,
author = {Ivo Pezlar},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Meaning and Computing: Two Approaches to Computable Propositions},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {100--116},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_7},
doi = {10.1007/978-3-030-88853-4\_7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Pezlar21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PuncocharT21,
author = {V{\'{\i}}t Puncoch{\'{a}}r and
Andrew Tedder},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Disjunction and Negation in Information Based Semantics},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {355--371},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_22},
doi = {10.1007/978-3-030-88853-4\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/PuncocharT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/RohaniS21,
author = {Atefeh Rohani and
Thomas Studer},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Explicit Non-normal Modal Logic},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {64--81},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_5},
doi = {10.1007/978-3-030-88853-4\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/RohaniS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/TabatabaiIJ21,
author = {Amirhossein Akbar Tabatabai and
Rosalie Iemhoff and
Raheleh Jalali},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Uniform Lyndon Interpolation for Basic Non-normal Modal Logics},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {287--301},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_18},
doi = {10.1007/978-3-030-88853-4\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/TabatabaiIJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Thompson21,
author = {Declan Thompson},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Computable Execution Traces},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {235--251},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_15},
doi = {10.1007/978-3-030-88853-4\_15},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Thompson21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Veltri21,
author = {Niccol{\`{o}} Veltri},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Coherence via Focusing for Symmetric Skew Monoidal Categories},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {184--200},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_12},
doi = {10.1007/978-3-030-88853-4\_12},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Veltri21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Wen21,
author = {Xuefeng Wen},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Modal Logic via Global Consequence},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {117--132},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_8},
doi = {10.1007/978-3-030-88853-4\_8},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Wen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Zhong21,
author = {Shengyang Zhong},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {A General Relational Semantics of Propositional Logic: Axiomatization},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {82--99},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_6},
doi = {10.1007/978-3-030-88853-4\_6},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Zhong21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2021,
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4},
doi = {10.1007/978-3-030-88853-4},
isbn = {978-3-030-88852-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-08-22 16:33 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:
