%0 Thesis %1 hafer1989automaten %A Hafer, Thilo %D 1989 %K %T Automaten und Logiken über unendlichen Bäumen

@phdthesis{hafer1989automaten, added-at = {2023-12-12T22:32:29.000+0100}, author = {Hafer, Thilo}, biburl = {https://www.bibsonomy.org/bibtex/22866b3a71fff4c59f41cbca524c5c69c/admin}, dnbtitleid = {901182117}, interhash = {4b608d32e1378a75bd3e04b5e2fb01b0}, intrahash = {2866b3a71fff4c59f41cbca524c5c69c}, keywords = {}, school = {TU Aachen}, timestamp = {2023-12-12T22:32:29.000+0100}, title = {Automaten und Logiken über unendlichen Bäumen}, year = 1989 }