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/mkm/cicm2019w.bht:"
download as .bib file
@proceedings{DBLP:conf/mkm/2019w,
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2634},
urn = {urn:nbn:de:0074-2634-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Asakura19,
author = {Takuto Asakura},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Understanding Scientific Documents with Synthetic Analysis on Mathematical
Expressions and Natural Language},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Asakura19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Berlioz19,
author = {Luis Berlioz},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Creating a Database of Definitions From Large Mathematical Corpora},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/WiP2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Berlioz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Betzendahl19,
author = {Jonas Betzendahl},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Definedness Reasoning in Formal Mathematics and Theorem Proving},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Betzendahl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BouquetB19,
author = {Alexandre Bouquet and
Thierry Bouche},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {{MDML:} The Mathdoc Digital Mathematics Library},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/WiP3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/BouquetB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Chen19,
author = {Joshua Chen},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Hybrid and alternative logics in Isabelle},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Chen19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DalitzSSC19,
author = {Wolfgang Dalitz and
Wolfram Sperber and
Moritz Schubotz and
Hagen Chrapary},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {alsoMATH - {A} Database for Mathematical Algorithms and Software},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/LML2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/DalitzSSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Grabowski19,
author = {Adam Grabowski},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Constructing Examples of Fuzzy Implications within the Mizar Mathematical
Library},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/FMM6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Grabowski19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Jaszczak19,
author = {Adrian Jaszczak},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Formal verification of the correctness of chosen algorithms in Mizar},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/FMM5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Jaszczak19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JunkH19,
author = {Michael Junk and
Stefan H{\"{o}}lle},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Numerical MATh},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/FMM2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/JunkH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KirillovichNFLS19,
author = {Alexander Kirillovich and
Olga Nevzorova and
Marina V. Falileeva and
Evgeny K. Lipachev and
Liliana R. Shakirova},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {OntoMath\({}^{\mbox{Edu}}\): Towards an Educational Mathematical Ontology},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/WiP1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KirillovichNFLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Koepke19,
author = {Peter Koepke},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Textbook Mathematics in the Naproche-SAD System},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/FMM4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Koepke19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kornilowicz19,
author = {Artur Kornilowicz},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Sethood Property in Mizar},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/FMM3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Kornilowicz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Naumowicz19,
author = {Adam Naumowicz},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Testing Mizar User Interactivity in a University-level Introductory
Course on Foundations of Mathematics},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/FMM1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Naumowicz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Rapp19,
author = {Max Rapp},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {A Unifying Framework for Managing Conflict-laden Content},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Rapp19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Sahli19,
author = {Sebastian Sahli},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {The "MATh Tutor" project},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Sahli19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Sharoda19,
author = {Yasmine Sharoda},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Leveraging Information Contained in Theory Presentations},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Sharoda19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Simon19,
author = {Frieder Simon},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {New Approaches to ATPs},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Simon19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wang19,
author = {Qingxiang Wang},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Automating Formalization of Mathematics with Machine Learning and
Data Mining},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Wang19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wenzel19a,
author = {Makarius Wenzel},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Isabelle technology for the Archive of Formal Proofs with application
to {MMT}},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/LML1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Wenzel19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wiesing19,
author = {Tom Wiesing},
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Evolving MathHub for Tetrapodal Math},
booktitle = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2634/DP8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Wiesing19.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-07-20 21:04 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:
