Hubert Wagener. On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 384-399, Springer, 1988.
No references recorded for this publication.
No citations of this publication recorded.