MSO Queries on Trees : Enumerating Answers under Updates Using Forest Algebras

Title 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

https://www.theoinf.uni-bayreuth.de/pool...

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 > Professorship Applied Computer Science > Professorship 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 > Professorship Applied Computer Science 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