| Meier A (2020), "Parametrised enumeration" Habilitation thesis, Leibniz Universität Hannover, https://doi.org/10.15488/9427. |
BibTeX:
@book{DBLP:books/dnb/MeierM20,
author = {Arne Meier},
title = {Parametrised enumeration},
publisher = {Habilitation thesis, Leibniz Universität Hannover, https://doi.org/10.15488/9427},
year = {2020},
doi = {10.15488/9427}
}
|
| Meier A (2005), "SAT-Algorithmen". Bachelor's Thesis at: Leibniz Universität Hannover. Institut für Theoretische Informatik
[BibTeX] |
BibTeX:
@misc{Mei05,
author = {Meier, Arne},
title = {SAT-Algorithmen},
year = {2005},
school = {Leibniz Universität Hannover}
}
|
| Meier A (2007), "Complexity of Temporal Logics". Master's Thesis at: Leibniz Universität Hannover. Institut für Theoretische Informatik
[BibTeX] |
BibTeX:
@mastersthesis{Mei07,
author = {Meier, Arne},
title = {Complexity of Temporal Logics},
school = {Leibniz Universität Hannover},
year = {2007}
}
|
| Meier A (2011), "On the Complexity of Modal Logic Variants and their Fragments". PhD Thesis at: Leibniz Universität Hannover, Institut für Theoretische Informatik., November, 2011. |
BibTeX:
@phdthesis{Meier:2011tp,
author = {Meier, Arne},
title = {On the Complexity of Modal Logic Variants and their Fragments},
school = {Leibniz Universität Hannover, Institut für Theoretische Informatik},
year = {2011}
}
|