bei Google ScholarTitelangaben
Niewerth, Matthias:
MSO Queries on Trees : Enumerating Answers under Updates Using Forest Algebras.
In:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. -
Oxford, UK
,
2018
. - S. 769-778
DOI: https://doi.org/10.1145/3209108.3209144
Weitere URLs
Weitere Angaben
| Publikationsform: | Aufsatz in einem Buch |
|---|---|
| Begutachteter Beitrag: | Ja |
| Institutionen der Universität: | Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Professur Angewandte Informatik VII > Professur Angewandte Informatik VII - Univ.-Prof. Dr. Wim Martens Forschungseinrichtungen > Forschungszentren > Forschungszentrum für Modellbildung und Simulation (MODUS) Fakultäten Fakultäten > Fakultät für Mathematik, Physik und Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Professur Angewandte Informatik VII Forschungseinrichtungen Forschungseinrichtungen > Forschungszentren |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Eingestellt am: | 23 Okt 2019 07:09 |
| Letzte Änderung: | 23 Okt 2019 07:09 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/52627 |