at Google ScholarTitle data
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
. - pp. 769-778
DOI: https://doi.org/10.1145/3209108.3209144
Related URLs
Further data
| Item Type: | Article in a book |
|---|---|
| Refereed: | Yes |
| Institutions of the University: | Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Professor Applied Computer Science VII > Professor Applied Computer Science VII - Univ.-Prof. Dr. Wim Martens Research Institutions > Research Centres > Forschungszentrum für Modellbildung und Simulation (MODUS) Faculties Faculties > Faculty of Mathematics, Physics und Computer Science Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Professor Applied Computer Science VII Research Institutions Research Institutions > Research Centres |
| Result of work at the UBT: | Yes |
| DDC Subjects: | 000 Computer Science, information, general works > 004 Computer science |
| Date Deposited: | 23 Oct 2019 07:09 |
| Last Modified: | 23 Oct 2019 07:09 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/52627 |