Institut für Informatik
/
Fakultät für Mathematik und Informatik
/
Universität Leipzig
Supervisor:
Prof. Dr. Manfred Droste
Gustav Grabolle
Room:
A 402, Augustusplatz 10
Phone:
+49-341-97/32345
E-mail:
grabolle at informatik.uni-leipzig.de
Address
Gustav Grabolle
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany
Lehre
Sommersemester 2018:
•
Berechenbarkeit
Publikationen (Publications)
G. Grabolle: A nivat theorem for weighted alternating automata over commutative semirings, in: Proceedings GandALF 2021, EPTCS 346, pp. 241-257, 2021.