Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gert Smolka
@inproceedings{DBLP:conf/cpp/0002JS23,
author = {Yannick Forster and
Felix Jahn and
Gert Smolka},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem
in Constructive Type Theory (Proof Pearl)},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {159--166},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575690},
doi = {10.1145/3573105.3575690},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/0002JS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/0002KSW21,
author = {Yannick Forster and
Fabian Kunze and
Gert Smolka and
Maxi Wuttke},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value
{\(\lambda\)}-Calculus},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {19:1--19:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.19},
doi = {10.4230/LIPICS.ITP.2021.19},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/0002KSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RoyHSS20,
author = {Peter Van Roy and
Seif Haridi and
Christian Schulte and
Gert Smolka},
title = {A history of the Oz multiparadigm language},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{HOPL}},
pages = {83:1--83:56},
year = {2020},
url = {https://doi.org/10.1145/3386333},
doi = {10.1145/3386333},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RoyHSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ForsterS19,
author = {Yannick Forster and
Gert Smolka},
title = {Call-by-Value Lambda Calculus as a Model of Computation in Coq},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {393--413},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9484-2},
doi = {10.1007/S10817-018-9484-2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ForsterS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KirstS19,
author = {Dominik Kirst and
Gert Smolka},
title = {Categoricity Results and Large Model Constructions for Second-Order
{ZF} in Dependent Type Theory},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {415--438},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9480-6},
doi = {10.1007/S10817-018-9480-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KirstS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/0002KS19,
author = {Yannick Forster and
Dominik Kirst and
Gert Smolka},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {On synthetic undecidability in coq, with an application to the entscheidungsproblem},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {38--51},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294091},
doi = {10.1145/3293880.3294091},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/0002KS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DoczkalS18,
author = {Christian Doczkal and
Gert Smolka},
title = {Regular Language Representations in the Constructive Type Theory of
Coq},
journal = {J. Autom. Reason.},
volume = {61},
number = {1-4},
pages = {521--553},
year = {2018},
url = {https://doi.org/10.1007/s10817-018-9460-x},
doi = {10.1007/S10817-018-9460-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DoczkalS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KunzeS018,
author = {Fabian Kunze and
Gert Smolka and
Yannick Forster},
editor = {Sukyoung Ryu},
title = {Formal Small-Step Verification of a Call-by-Value Lambda Calculus
Machine},
booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11275},
pages = {264--283},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02768-1\_15},
doi = {10.1007/978-3-030-02768-1\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KunzeS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KirstS18,
author = {Dominik Kirst and
Gert Smolka},
editor = {June Andronick and
Amy P. Felty},
title = {Large model constructions for second-order {ZF} in dependent type
theory},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
8-9, 2018},
pages = {228--239},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167095},
doi = {10.1145/3167095},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/KirstS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/0002HS18,
author = {Yannick Forster and
Edith Heiter and
Gert Smolka},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Verification of PCP-Related Computational Reductions in Coq},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {253--269},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_15},
doi = {10.1007/978-3-319-94821-8\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/0002HS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04967,
author = {Moritz Lichter and
Gert Smolka},
title = {Constructive Analysis of {S1S} and B{\"{u}}chi Automata},
journal = {CoRR},
volume = {abs/1804.04967},
year = {2018},
url = {http://arxiv.org/abs/1804.04967},
eprinttype = {arXiv},
eprint = {1804.04967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-03205,
author = {Fabian Kunze and
Gert Smolka and
Yannick Forster},
title = {Formal Small-step Verification of a Call-by-value Lambda Calculus
Machine},
journal = {CoRR},
volume = {abs/1806.03205},
year = {2018},
url = {http://arxiv.org/abs/1806.03205},
eprinttype = {arXiv},
eprint = {1806.03205},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-03205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/SchaferS17,
author = {Steven Sch{\"{a}}fer and
Gert Smolka},
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Tower Induction and Up-to Techniques for {CCS} with Fixed Points},
booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {274--289},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9\_17},
doi = {10.1007/978-3-319-57418-9\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/SchaferS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KaiserTS17,
author = {Jonas Kaiser and
Tobias Tebbi and
Gert Smolka},
editor = {Yves Bertot and
Viktor Vafeiadis},
title = {Equivalence of system f and {\'{z}}2 in Coq based on context
morphism lemmas},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
pages = {222--234},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018610.3018618},
doi = {10.1145/3018610.3018618},
timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
biburl = {https://dblp.org/rec/conf/cpp/KaiserTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ForsterS17,
author = {Yannick Forster and
Gert Smolka},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {189--206},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_13},
doi = {10.1007/978-3-319-66107-0\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/ForsterS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/KirstS17,
author = {Dominik Kirst and
Gert Smolka},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Categoricity Results for Second-Order {ZF} in Dependent Type Theory},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {304--318},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_20},
doi = {10.1007/978-3-319-66107-0\_20},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/KirstS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KaiserPS17,
author = {Jonas Kaiser and
Brigitte Pientka and
Gert Smolka},
editor = {Dale Miller},
title = {Relating System {F} and Lambda2: {A} Case Study in Coq, Abella and
Beluga},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {21:1--21:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.21},
doi = {10.4230/LIPICS.FSCD.2017.21},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/KaiserPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-07023,
author = {Yannick Forster and
Edith Heiter and
Gert Smolka},
title = {Verification of PCP-Related Computational Reductions in Coq},
journal = {CoRR},
volume = {abs/1711.07023},
year = {2017},
url = {http://arxiv.org/abs/1711.07023},
eprinttype = {arXiv},
eprint = {1711.07023},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-07023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DoczkalS16,
author = {Christian Doczkal and
Gert Smolka},
title = {Completeness and Decidability Results for {CTL} in Constructive Type
Theory},
journal = {J. Autom. Reason.},
volume = {56},
number = {3},
pages = {343--365},
year = {2016},
url = {https://doi.org/10.1007/s10817-016-9361-9},
doi = {10.1007/S10817-016-9361-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DoczkalS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/SchaferSS16,
author = {Steven Sch{\"{a}}fer and
Sigurd Schneider and
Gert Smolka},
editor = {Jeremy Avigad and
Adam Chlipala},
title = {Axiomatic semantics for compiler verification},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
pages = {188--196},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854065.2854083},
doi = {10.1145/2854065.2854083},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/SchaferSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DoczkalS16,
author = {Christian Doczkal and
Gert Smolka},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {Two-Way Automata in Coq},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {151--166},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_10},
doi = {10.1007/978-3-319-43144-4\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/DoczkalS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/SmolkaS16,
author = {Gert Smolka and
Kathrin Stark},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {Hereditarily Finite Sets in Constructive Type Theory},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {374--390},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_23},
doi = {10.1007/978-3-319-43144-4\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/SmolkaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchneiderSH16,
author = {Sigurd Schneider and
Gert Smolka and
Sebastian Hack},
title = {An Inductive Proof Method for Simulation-based Compiler Correctness},
journal = {CoRR},
volume = {abs/1611.09606},
year = {2016},
url = {http://arxiv.org/abs/1611.09606},
eprinttype = {arXiv},
eprint = {1611.09606},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchneiderSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/SchaferST15,
author = {Steven Sch{\"{a}}fer and
Gert Smolka and
Tobias Tebbi},
editor = {Xavier Leroy and
Alwen Tiu},
title = {Completeness and Decidability of de Bruijn Substitution Algebra in
Coq},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {67--73},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693163},
doi = {10.1145/2676724.2693163},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/SchaferST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/SchneiderSH15,
author = {Sigurd Schneider and
Gert Smolka and
Sebastian Hack},
editor = {Christian Urban and
Xingyuan Zhang},
title = {A Linear First-Order Functional Intermediate Language for Verified
Compilers},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {344--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_23},
doi = {10.1007/978-3-319-22102-1\_23},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/SchneiderSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/SchaferTS15,
author = {Steven Sch{\"{a}}fer and
Tobias Tebbi and
Gert Smolka},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {359--374},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_24},
doi = {10.1007/978-3-319-22102-1\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/SchaferTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/SmolkaSD15,
author = {Gert Smolka and
Steven Sch{\"{a}}fer and
Christian Doczkal},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Transfinite Constructions in Classical Type Theory},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {391--404},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_26},
doi = {10.1007/978-3-319-22102-1\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/SmolkaSD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchneiderSH15,
author = {Sigurd Schneider and
Gert Smolka and
Sebastian Hack},
title = {A First-Order Functional Intermediate Language for Verified Compilers},
journal = {CoRR},
volume = {abs/1503.08665},
year = {2015},
url = {http://arxiv.org/abs/1503.08665},
eprinttype = {arXiv},
eprint = {1503.08665},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchneiderSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KaminskiS14,
author = {Mark Kaminski and
Gert Smolka},
title = {A Goal-Directed Decision Procedure for Hybrid {PDL}},
journal = {J. Autom. Reason.},
volume = {52},
number = {4},
pages = {407--450},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9294-5},
doi = {10.1007/S10817-013-9294-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KaminskiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DoczkalS14,
author = {Christian Doczkal and
Gert Smolka},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Completeness and Decidability Results for {CTL} in Coq},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {226--241},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_15},
doi = {10.1007/978-3-319-08970-6\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/DoczkalS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoczkalKS13,
author = {Christian Doczkal and
Jan{-}Oliver Kaiser and
Gert Smolka},
editor = {Georges Gonthier and
Michael Norrish},
title = {A Constructive Theory of Regular Languages in Coq},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {82--97},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_6},
doi = {10.1007/978-3-319-03545-1\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DoczkalKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SmolkaT13,
author = {Gert Smolka and
Tobias Tebbi},
editor = {Femke van Raamsdonk},
title = {Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {271--286},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.271},
doi = {10.4230/LIPICS.RTA.2013.271},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SmolkaT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoczkalS12,
author = {Christian Doczkal and
Gert Smolka},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Constructive Completeness for Modal Logic with Transitive Closure},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {224--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_18},
doi = {10.1007/978-3-642-35308-6\_18},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/DoczkalS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-1248,
author = {Mark Kaminski and
Gert Smolka},
title = {Correctness of an Incremental and Worst-Case Optimal Decision Procedure
for Modal Logic with Eventualities},
journal = {CoRR},
volume = {abs/1209.1248},
year = {2012},
url = {http://arxiv.org/abs/1209.1248},
eprinttype = {arXiv},
eprint = {1209.1248},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-0746,
author = {Mark Kaminski and
Sigurd Schneider and
Gert Smolka},
title = {Terminating Tableaux for Graded Hybrid Logic with Global Modalities
and Role Hierarchies},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:5)2011},
doi = {10.2168/LMCS-7(1:5)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-0746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoczkalS11,
author = {Christian Doczkal and
Gert Smolka},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Constructive Formalization of Hybrid Logic with Eventualities},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {5--20},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_3},
doi = {10.1007/978-3-642-25379-9\_3},
timestamp = {Thu, 14 Oct 2021 10:14:33 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DoczkalS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Smolka11,
author = {Gert Smolka},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Incremental Decision Procedures for Modal Logic with Nominals and
Eventualities},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/invited\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Smolka11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Kaminski0S11,
author = {Mark Kaminski and
Thomas Schneider and
Gert Smolka},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures
for Modal and Hybrid Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {196--210},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_16},
doi = {10.1007/978-3-642-22119-4\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Kaminski0S11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KaminskiS11,
author = {Mark Kaminski and
Gert Smolka},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Clausal Tableaux for Hybrid {PDL}},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {99--113},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.009},
doi = {10.1016/J.ENTCS.2011.10.009},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KaminskiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-1947,
author = {Chad E. Brown and
Gert Smolka},
title = {Analytic Tableaux for Simple Type Theory and its First-Order Fragment},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {2},
year = {2010},
url = {http://arxiv.org/abs/1004.1947},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-1947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaminskiS10,
author = {Mark Kaminski and
Gert Smolka},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Terminating Tableaux for Hybrid Logic with Eventualities},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {240--254},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_21},
doi = {10.1007/978-3-642-14203-1\_21},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/KaminskiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/KaminskiS10,
author = {Mark Kaminski and
Gert Smolka},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {Terminating Tableaux for \emph{SOQ}{\textbackslash}mathcal\{SOQ\}
with Number Restrictions on Transitive Roles},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {213--228},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_16},
doi = {10.1007/978-3-642-15240-5\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/KaminskiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KaminskiS10,
author = {Mark Kaminski and
Gert Smolka},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {417--431},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_30},
doi = {10.1007/978-3-642-16242-8\_30},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KaminskiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-4021,
author = {Mark Kaminski and
Gert Smolka},
title = {A Minimal Propositional Type Theory},
journal = {CoRR},
volume = {abs/1001.4021},
year = {2010},
url = {http://arxiv.org/abs/1001.4021},
eprinttype = {arXiv},
eprint = {1001.4021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KaminskiS09,
author = {Mark Kaminski and
Gert Smolka},
title = {Terminating Tableau Systems for Hybrid Logic with Difference and Converse},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {437--464},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9087-8},
doi = {10.1007/S10849-009-9087-8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KaminskiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KaminskiS09,
author = {Mark Kaminski and
Gert Smolka},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Terminating Tableaux for {SOQ} with Number Restrictions on Transitive
Roles},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_41.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KaminskiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BrownS09,
author = {Chad E. Brown and
Gert Smolka},
editor = {Martin Giese and
Arild Waaler},
title = {Terminating Tableaux for the Basic Fragment of Simple Type Theory},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {138--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_11},
doi = {10.1007/978-3-642-02716-1\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BrownS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/KaminskiSS09,
author = {Mark Kaminski and
Sigurd Schneider and
Gert Smolka},
editor = {Martin Giese and
Arild Waaler},
title = {Terminating Tableaux for Graded Hybrid Logic with Global Modalities
and Role Hierarchies},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {235--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_18},
doi = {10.1007/978-3-642-02716-1\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/KaminskiSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BrownS09,
author = {Chad E. Brown and
Gert Smolka},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {Extended First-Order Logic},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {164--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_13},
doi = {10.1007/978-3-642-03359-9\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BrownS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GotzmannKS10,
author = {Daniel G{\"{o}}tzmann and
Mark Kaminski and
Gert Smolka},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Spartacus: {A} Tableau Prover for Hybrid Logic},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {127--139},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.010},
doi = {10.1016/J.ENTCS.2010.04.010},
timestamp = {Thu, 09 Mar 2023 15:44:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GotzmannKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023348,
author = {Gert Smolka},
title = {Programmierung - eine Einf{\"{u}}hrung in die Informatik mit
Standard {ML}},
publisher = {Oldenbourg},
year = {2008},
url = {http://www.oldenbourg-wissenschaftsverlag.de/olb/de/1.c.1321689.de},
isbn = {978-3-486-58601-5},
timestamp = {Tue, 15 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0023348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaminskiS08,
author = {Mark Kaminski and
Gert Smolka},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Terminating Tableaux for Hybrid Logic with the Difference Modality
and Converse},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {210--225},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_18},
doi = {10.1007/978-3-540-71070-7\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KaminskiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KaminskiS09,
author = {Mark Kaminski and
Gert Smolka},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Hybrid Tableaux for the Difference Modality},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {241--257},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.039},
doi = {10.1016/J.ENTCS.2009.02.039},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KaminskiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NiehrenSS06,
author = {Joachim Niehren and
Jan Schwinghammer and
Gert Smolka},
title = {A concurrent lambda calculus with futures},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {338--356},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.016},
doi = {10.1016/J.TCS.2006.08.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NiehrenSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TackSS06,
author = {Guido Tack and
Christian Schulte and
Gert Smolka},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Generating Propagators for Finite Set Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {575--589},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_41},
doi = {10.1007/11889205\_41},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/TackSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/DebusmannS06,
author = {Ralph Debusmann and
Gert Smolka},
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {Multi-Dimensional Dependency Grammar as Multigraph Description},
booktitle = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
pages = {740--745},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-147.php},
timestamp = {Wed, 26 Oct 2022 08:35:26 +0200},
biburl = {https://dblp.org/rec/conf/flairs/DebusmannS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HardtS07,
author = {Moritz Hardt and
Gert Smolka},
editor = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Valeria de Paiva and
J{\o}rgen Villadsen},
title = {Higher-Order Syntax and Saturation Algorithms for Hybrid Logic},
booktitle = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {6},
pages = {15--27},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.023},
doi = {10.1016/J.ENTCS.2006.11.023},
timestamp = {Fri, 27 Jan 2023 13:46:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HardtS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/NiehrenSS05,
author = {Joachim Niehren and
Jan Schwinghammer and
Gert Smolka},
editor = {Bernhard Gramlich},
title = {A Concurrent Lambda Calculus with Futures},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {248--263},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_14},
doi = {10.1007/11559306\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/NiehrenSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TackKS06,
author = {Guido Tack and
Leif Kornstaedt and
Gert Smolka},
editor = {Nick Benton and
Xavier Leroy},
title = {Generic Pickling and Minimization},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {79--103},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.041},
doi = {10.1016/J.ENTCS.2005.11.041},
timestamp = {Fri, 16 Dec 2022 13:23:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TackKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/DebusmannDKKST04,
author = {Ralph Debusmann and
Denys Duchier and
Alexander Koller and
Marco Kuhlmann and
Gert Smolka and
Stefan Thater},
title = {A Relational Syntax-Semantics Interface Based on Dependency Grammar},
booktitle = {{COLING} 2004, 20th International Conference on Computational Linguistics,
Proceedings of the Conference, 23-27 August 2004, Geneva, Switzerland},
year = {2004},
url = {https://aclanthology.org/C04-1026/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/DebusmannDKKST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Smolka04,
author = {Gert Smolka},
editor = {Peter Van Roy},
title = {The Development of Oz and Mozart},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {1},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_1},
doi = {10.1007/978-3-540-31845-3\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/moz/Smolka04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RossbergBTBS04,
author = {Andreas Rossberg and
Didier Le Botlan and
Guido Tack and
Thorsten Brunklaus and
Gert Smolka},
editor = {Hans{-}Wolfgang Loidl},
title = {Alice through the looking glass},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {79--95},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 12:04:14 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RossbergBTBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Smolka00,
author = {Gert Smolka},
title = {Introduction},
journal = {Constraints An Int. J.},
volume = {5},
number = {1/2},
pages = {5},
year = {2000},
url = {https://doi.org/10.1023/A:1009857500414},
doi = {10.1023/A:1009857500414},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Smolka00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Smolka00,
author = {Gert Smolka},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {257},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Smolka00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2000,
editor = {Gert Smolka},
title = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5},
doi = {10.1007/3-540-46425-5},
isbn = {3-540-67262-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HaridiRBMSS99,
author = {Seif Haridi and
Peter Van Roy and
Per Brand and
Michael Mehl and
Ralf Scheidhauer and
Gert Smolka},
title = {Efficient logic variables for distributed computing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {3},
pages = {569--626},
year = {1999},
url = {https://doi.org/10.1145/319301.319347},
doi = {10.1145/319301.319347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HaridiRBMSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Smolka98,
author = {Gert Smolka},
editor = {Chris Hankin},
title = {Concurrent Constraint Programming Based on Functional Programming
(Extended Abstract)},
booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium
on Programming, Held as Part of the European Joint Conferences on
the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March
28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1381},
pages = {1--11},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053559},
doi = {10.1007/BFB0053559},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Smolka98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PodelskiS97,
author = {Andreas Podelski and
Gert Smolka},
title = {Situated Simplification},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {1},
pages = {235--252},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00197-1},
doi = {10.1016/S0304-3975(96)00197-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PodelskiS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RoyHBSMS97,
author = {Peter Van Roy and
Seif Haridi and
Per Brand and
Gert Smolka and
Michael Mehl and
Ralf Scheidhauer},
title = {Mobile Objects in Distributed Oz},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {5},
pages = {804--851},
year = {1997},
url = {https://doi.org/10.1145/265943.265972},
doi = {10.1145/265943.265972},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RoyHBSMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/HaridiRS97,
author = {Seif Haridi and
Peter Van Roy and
Gert Smolka},
editor = {Hoon Hong and
Erich L. Kaltofen and
Markus A. Hitz},
title = {An overview of the design of Distributed Oz},
booktitle = {Proceedings of the 2nd International Workshop on Parallel Symbolic
Computation, {PASCO} 1997, July 20-22, 1997, Kihei, Hawaii, {USA}},
pages = {176--187},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/266670.266726},
doi = {10.1145/266670.266726},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/cap/HaridiRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Smolka97,
author = {Gert Smolka},
editor = {Jan Maluszynski},
title = {Constraint Programming in Oz (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {37--38},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/Smolka97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1997,
editor = {Gert Smolka},
title = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017424},
doi = {10.1007/BFB0017424},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Smolka96,
author = {Gert Smolka},
title = {Constraints in {OZ}},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {75},
year = {1996},
url = {https://doi.org/10.1145/242224.242321},
doi = {10.1145/242224.242321},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Smolka96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/MullerS96,
author = {Martin M{\"{u}}ller and
Gert Smolka},
title = {Oz: nebenl{\"{a}}ufige Programmierung mit Constraints},
journal = {K{\"{u}}nstliche Intell.},
volume = {10},
number = {3},
pages = {55--61},
year = {1996},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/MullerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Smolka96,
author = {Gert Smolka},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {The Oz Programming Language and System (Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {377},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027821},
doi = {10.1007/BFB0027821},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Smolka96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Smolka96,
author = {Gert Smolka},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira and
Ewa Orlowska},
title = {The Oz Programming Model},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
{\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1126},
pages = {251},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61630-6\_17},
doi = {10.1007/3-540-61630-6\_17},
timestamp = {Sat, 19 Oct 2019 20:16:50 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Smolka96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BackofenS95,
author = {Rolf Backofen and
Gert Smolka},
title = {A Complete and Recursive Feature Theory},
journal = {Theor. Comput. Sci.},
volume = {146},
number = {1{\&}2},
pages = {243--268},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00188-O},
doi = {10.1016/0304-3975(94)00188-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BackofenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PodelskiS95,
author = {Andreas Podelski and
Gert Smolka},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Situated Simplification},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {328--344},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_20},
doi = {10.1007/3-540-60299-2\_20},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/PodelskiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Smolka95,
author = {Gert Smolka},
editor = {Seif Haridi and
Khayri A. M. Ali and
Peter Magnusson},
title = {The Oz Programming Model (Extended Abstract)},
booktitle = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
Stockholm, Sweden, August 29-31, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {966},
pages = {5--8},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020450},
doi = {10.1007/BFB0020450},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Smolka95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Smolka95,
author = {Gert Smolka},
editor = {Leon Sterling},
title = {Oz: Concurrent Constraint Programming for Real},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {13},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Smolka95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PodelskiS95,
author = {Andreas Podelski and
Gert Smolka},
editor = {Leon Sterling},
title = {Operational Semantics of Constraint Logic Programs with Coroutining},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {449--463},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PodelskiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PodelskiS95a,
author = {Andreas Podelski and
Gert Smolka},
editor = {Leon Sterling},
title = {Situated Simplification},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {826},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PodelskiS95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/Smolka95,
author = {Gert Smolka},
editor = {Amedeo Napoli},
title = {Objects in a higher-order concurrent constraint model with state},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'95. Nancy, France, 12-13 octobre},
pages = {69--74},
publisher = {{INRIA}},
year = {1995},
timestamp = {Thu, 05 Jul 2018 08:00:23 +0200},
biburl = {https://dblp.org/rec/conf/lmo/Smolka95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/cstoday95/Smolka95,
author = {Gert Smolka},
editor = {Jan van Leeuwen},
title = {The Oz Programming Model},
booktitle = {Computer Science Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1000},
pages = {324--343},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015252},
doi = {10.1007/BFB0015252},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/cstoday95/Smolka95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SmolkaT94,
author = {Gert Smolka and
Ralf Treinen},
title = {Records for Logic Programming},
journal = {J. Log. Program.},
volume = {18},
number = {3},
pages = {229--258},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90044-2},
doi = {10.1016/0743-1066(94)90044-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SmolkaT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ait-KaciPS94,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Gert Smolka},
title = {A Feature Constraint System for Logic Programming with Entailment},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {263--283},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90209-7},
doi = {10.1016/0304-3975(94)90209-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ait-KaciPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/Smolka94,
author = {Gert Smolka},
editor = {Jean{-}Pierre Jouannaud},
title = {A Foundation for Higher-order Concurrent Constraint Programming},
booktitle = {Constraints in Computational Logics, First International Conference,
CCL'94, Munich, Germany, September 7-9, 1994},
series = {Lecture Notes in Computer Science},
volume = {845},
pages = {50--72},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0016844},
doi = {10.1007/BFB0016844},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ccl/Smolka94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/NiehrenS94,
author = {Joachim Niehren and
Gert Smolka},
editor = {Jean{-}Pierre Jouannaud},
title = {A Confluent Relational Calculus for Higher-Order Programming with
Constraints},
booktitle = {Constraints in Computational Logics, First International Conference,
CCL'94, Munich, Germany, September 7-9, 1994},
series = {Lecture Notes in Computer Science},
volume = {845},
pages = {89--104},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0016846},
doi = {10.1007/BFB0016846},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccl/NiehrenS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/HenseS94,
author = {Andreas V. Hense and
Gert Smolka},
editor = {Jean{-}Pierre Jouannaud},
title = {A Record Calculus with Principal Types},
booktitle = {Constraints in Computational Logics, First International Conference,
CCL'94, Munich, Germany, September 7-9, 1994},
series = {Lecture Notes in Computer Science},
volume = {845},
pages = {219--236},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0016856},
doi = {10.1007/BFB0016856},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccl/HenseS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/SchulteSW94,
author = {Christian Schulte and
Gert Smolka and
J{\"{o}}rg W{\"{u}}rtz},
editor = {Alan Borning},
title = {Encapsulated Search and Constraint Programming in Oz},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {134--150},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_96},
doi = {10.1007/3-540-58601-6\_96},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/SchulteSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SchulteS94,
author = {Christian Schulte and
Gert Smolka},
editor = {Maurice Bruynooghe},
title = {Encapsulated Search for Higher-order Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {505--520},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/SchulteS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/lncs/Smolka94,
author = {Gert Smolka},
editor = {Andreas Podelski},
title = {The Definition of Kernel Oz},
booktitle = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {910},
pages = {251--292},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59155-9\_14},
doi = {10.1007/3-540-59155-9\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/journals/lncs/Smolka94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BackofenS94,
author = {Rolf Backofen and
Gert Smolka},
title = {A Complete and Recursive Feature Theory},
journal = {CoRR},
volume = {abs/cmp-lg/9406019},
year = {1994},
url = {http://arxiv.org/abs/cmp-lg/9406019},
eprinttype = {arXiv},
eprint = {cmp-lg/9406019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BackofenS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BaaderBNNS93,
author = {Franz Baader and
Hans{-}J{\"{u}}rgen B{\"{u}}rckert and
Bernhard Nebel and
Werner Nutt and
Gert Smolka},
title = {On the expressivity of feature logics with negation, functional uncertainty,
and sort equations},
journal = {J. Log. Lang. Inf.},
volume = {2},
number = {1},
pages = {1--18},
year = {1993},
url = {https://doi.org/10.1007/BF01051766},
doi = {10.1007/BF01051766},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BaaderBNNS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/BackofenS93,
author = {Rolf Backofen and
Gert Smolka},
editor = {Lenhart K. Schubert},
title = {A Complete and Recursive Feature Theory},
booktitle = {31st Annual Meeting of the Association for Computational Linguistics,
22-26 June 1993, Ohio State University, Columbus, Ohio, USA, Proceedings},
pages = {193--200},
publisher = {{ACL}},
year = {1993},
url = {https://aclanthology.org/P93-1026/},
doi = {10.3115/981574.981600},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/BackofenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Smolka93,
author = {Gert Smolka},
editor = {Christian Schulte and
Gert Smolka},
title = {A Survey of Oz - {A} Higher-order Concurrent Constraint Language},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Smolka93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HenzSW93,
author = {Martin Henz and
Gert Smolka and
J{\"{o}}rg W{\"{u}}rtz},
editor = {Ruzena Bajcsy},
title = {Oz - {A} Programming Language for Multi-Agent Systems},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {404--409},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/057.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HenzSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SmolkaHW93,
author = {Gert Smolka and
Martin Henz and
J{\"{o}}rg W{\"{u}}rtz},
editor = {Otthein Herzog and
Thomas Christaller and
Dieter Sch{\"{u}}tt},
title = {Object-Oriented Concurrent Constraint Programming in Oz},
booktitle = {Grundlagen und Anwendungen der K{\"{u}}nstlichen Intelligenz,
17. Fachtagung f{\"{u}}r K{\"{u}}nstliche Intelligenz, Humboldt-Universit{\"{a}}t
zu Berlin, 13.-16. September 1993, Proceedings},
series = {Informatik Aktuell},
pages = {44--59},
publisher = {Springer},
year = {1993},
timestamp = {Thu, 05 Jun 2003 14:47:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/SmolkaHW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Smolka93,
author = {Gert Smolka},
editor = {Christoph Beierle},
title = {Nebenl{\"{a}}fige Objekte und Logische Programmierung},
booktitle = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
Hagen, Germany, Informatik-Bericht 146},
pages = {7--9},
year = {1993},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Smolka93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1993w3,
editor = {Christian Schulte and
Gert Smolka},
title = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1993w3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Smolka92,
author = {Gert Smolka},
title = {Feature-Constraint Logics for Unification Grammars},
journal = {J. Log. Program.},
volume = {12},
number = {1{\&}2},
pages = {51--87},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90039-6},
doi = {10.1016/0743-1066(92)90039-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Smolka92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Ait-KaciPS92,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Gert Smolka},
title = {A Feature-Based Constraint System for Logic Programming with Entailment},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {1012--1021},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Ait-KaciPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SmolkaT92,
author = {Gert Smolka and
Ralf Treinen},
editor = {Krzysztof R. Apt},
title = {Records for Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {240--254},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SmolkaT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/HenseS92,
author = {Andreas V. Hense and
Gert Smolka},
editor = {Zhongshi Shi},
title = {A Verification of Extensible Record Types},
booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
1992},
series = {{IFIP} Transactions},
volume = {{A-19}},
pages = {137--164},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 12:04:48 +0100},
biburl = {https://dblp.org/rec/conf/iwar/HenseS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/Smolka92,
author = {Gert Smolka},
editor = {Johannes Buchmann and
Harald Ganzinger and
Wolfgang J. Paul},
title = {Residuation and Guarded Rules for Constraint Logic Programming},
booktitle = {Informatik, Festschrift zum 60. Geburtstag von G{\"{u}}nter Hotz},
series = {Teubner-Texte zur Informatik},
volume = {1},
pages = {387--400},
publisher = {Teubner / Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-322-95233-2\_24},
doi = {10.1007/978-3-322-95233-2\_24},
timestamp = {Tue, 16 Jul 2019 08:16:16 +0200},
biburl = {https://dblp.org/rec/books/sp/92/Smolka92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Schmidt-SchaussS91,
author = {Manfred Schmidt{-}Schau{\ss} and
Gert Smolka},
title = {Attributive Concept Descriptions with Complements},
journal = {Artif. Intell.},
volume = {48},
number = {1},
pages = {1--26},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90078-X},
doi = {10.1016/0004-3702(91)90078-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Schmidt-SchaussS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Smolka91,
author = {Gert Smolka},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou and
Alain Colmerauer},
title = {Residuation and Guarded Rules for Constraint Logic Programming},
booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
France},
pages = {405--419},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Tue, 30 Jul 2019 16:42:24 +0200},
biburl = {https://dblp.org/rec/conf/wclp/Smolka91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/lncs/NebelS91,
author = {Bernhard Nebel and
Gert Smolka},
editor = {Otthein Herzog and
Claus{-}Rainer Rollinger},
title = {Attribute Description Formalisms ... and the Rest of the World},
booktitle = {Text Understanding in LILOG, Integrating Computational Linguistics
and Artificial Intelligence, Final Report on the {IBM} Germany LILOG-Project},
series = {Lecture Notes in Computer Science},
volume = {546},
pages = {439--452},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54594-8\_74},
doi = {10.1007/3-540-54594-8\_74},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/journals/lncs/NebelS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MullerBNNS90,
author = {J{\"{u}}rgen M{\"{u}}ller and
Franz Baader and
Bernhard Nebel and
Werner Nutt and
Gert Smolka},
editor = {Mark E. Stickel},
title = {Tutorial on Reasoning and Representation with Concept Languages},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {681},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_141},
doi = {10.1007/3-540-52885-7\_141},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MullerBNNS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/Smolka89,
author = {Gert Smolka},
title = {Logic Programming over Polymorphically Order-Sorted Types},
school = {Kaiserslautern University of Technology, Germany},
year = {1989},
url = {https://d-nb.info/891234179},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/Smolka89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/NuttRS89,
author = {Werner Nutt and
Pierre R{\'{e}}ty and
Gert Smolka},
title = {Basic Narrowing Revisited},
journal = {J. Symb. Comput.},
volume = {7},
number = {3/4},
pages = {295--317},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80014-8},
doi = {10.1016/S0747-7171(89)80014-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NuttRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SmolkaA89,
author = {Gert Smolka and
Hassan A{\"{\i}}t{-}Kaci},
title = {Inheritance Hierarchies: Semantics and Unification},
journal = {J. Symb. Comput.},
volume = {7},
number = {3/4},
pages = {343--370},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80016-1},
doi = {10.1016/S0747-7171(89)80016-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SmolkaA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HernandezNSW89,
author = {Daniel Hern{\'{a}}ndez and
Bernhard Nebel and
Gert Smolka and
Ipke Wachsmuth},
editor = {Dieter Metzing},
title = {Fachseminar: Formale und kognitive Grundlagen von Wissensrepr{\"{a}}sentationen},
booktitle = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld,
Germany, 18.-22. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {216},
pages = {476},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75100-4\_55},
doi = {10.1007/978-3-642-75100-4\_55},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/HernandezNSW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Smolka89,
author = {Gert Smolka},
editor = {Dieter Metzing},
title = {Feature-Logik},
booktitle = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld,
Germany, 18.-22. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {216},
pages = {477--478},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75100-4\_56},
doi = {10.1007/978-3-642-75100-4\_56},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Smolka89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lilog/NebelS89,
author = {Bernhard Nebel and
Gert Smolka},
editor = {Karl{-}Hans Bl{\"{a}}sius and
Ulrich Hedtst{\"{u}}ck and
Claus{-}Rainer Rollinger},
title = {Representation and Reasoning with Attributive Descriptions},
booktitle = {Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld,
FRG, April 24-26, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {418},
pages = {112--139},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52337-6\_21},
doi = {10.1007/3-540-52337-6\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lilog/NebelS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS68,
author = {Manfred Schmidt{-}Schau{\ss} and
Gert Smolka},
title = {Attributive Concept Descriptions with Unions and Complements},
journal = {{IWBS} Report},
volume = {68},
year = {1989},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS81,
author = {Bernhard Nebel and
Gert Smolka},
title = {Representation and Reasoning with Attributive Descriptions},
journal = {{IWBS} Report},
volume = {81},
year = {1989},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS93,
author = {Gert Smolka},
title = {Feature Constraint Logics for Unification Grammars},
journal = {{IWBS} Report},
volume = {93},
year = {1989},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Smolka88,
author = {Gert Smolka},
editor = {Hartmut Ehrig},
title = {Type Logic},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/Smolka88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Smolka88,
author = {Gert Smolka},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Logic Programming with Polymorphically Order-Sorted Types},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {53--70},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_58},
doi = {10.1007/3-540-50667-5\_58},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Smolka88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/LILOG33,
author = {Gert Smolka},
title = {A Feature Logic with Subsorts},
journal = {LILOG-Report},
volume = {33},
year = {1988},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/LILOG33.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/LILOG53,
author = {Markus H{\"{o}}hfeld and
Gert Smolka},
title = {Definite Resolution over Constraint Languages},
journal = {LILOG-Report},
volume = {53},
year = {1988},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/LILOG53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Smolka86,
author = {Gert Smolka},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {Polymorphic Order-Sorted Algebra},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/Smolka86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ph/deGrootL86/Smolka86,
author = {Gert Smolka},
editor = {Doug DeGroot and
Gary Lindstrom},
title = {{FRESH:} {A} Higher-Order Language With Unification and Multiple Results},
booktitle = {Logic Programming: Functions, Relations, and Equations},
pages = {469--524},
publisher = {Prentice-Hall},
year = {1986},
timestamp = {Mon, 05 Aug 2019 11:53:35 +0200},
biburl = {https://dblp.org/rec/books/ph/deGrootL86/Smolka86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Smolka84,
author = {Gert Smolka},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Making Control and Data Flow in Logic Programs Explicit},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {311--322},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802048},
doi = {10.1145/800055.802048},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Smolka84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Smolka82,
author = {Gert Smolka},
editor = {Wolfgang Wahlster},
title = {Completeness of the Connection Graph Proof Procedure for Unit-Refutable
Clause Sets},
booktitle = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
Germany, September 27 - October 1, 1982, Proceedings},
series = {Informatik-Fachberichte},
volume = {58},
pages = {191--204},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68826-3\_14},
doi = {10.1007/978-3-642-68826-3\_14},
timestamp = {Tue, 19 Jun 2018 08:06:48 +0200},
biburl = {https://dblp.org/rec/conf/ki/Smolka82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlasiusESSNW81,
author = {Karl{-}Hans Bl{\"{a}}sius and
Norbert Eisinger and
J{\"{o}}rg H. Siekmann and
Gert Smolka and
Alexander Herold and
Christoph Walther},
editor = {Patrick J. Hayes},
title = {The Markgraf Karl Refutation Procedure},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {511--518},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/092.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BlasiusESSNW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SiekmannS81,
author = {J{\"{o}}rg H. Siekmann and
Gert Smolka},
editor = {J{\"{o}}rg H. Siekmann},
title = {Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations
for the Connection Graph Proof Procedure},
booktitle = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany,
January 26-31, 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {47},
pages = {199--200},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-02328-0\_18},
doi = {10.1007/978-3-662-02328-0\_18},
timestamp = {Wed, 20 Jun 2018 08:22:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/SiekmannS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/EisingerSSUW80,
author = {Norbert Eisinger and
J{\"{o}}rg H. Siekmann and
Gert Smolka and
E. Unvericht and
Christoph Walther},
editor = {Reinhard Wilhelm},
title = {Das Karlsruher Beweissystem},
booktitle = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {33},
pages = {400--412},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67838-7\_37},
doi = {10.1007/978-3-642-67838-7\_37},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/EisingerSSUW80.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.
last updated on 2023-09-27 22:37 CEST 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:
