Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields

Matthias Büchse, Anja Fischer. Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields. In Frank Drewes, Marco Kuhlmann, editors, Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing, ATANLP 2012, Avignon, France, April 24, 2012. pages 11-20, The Association for Computer Linguistics, 2012. [doi]

Abstract

Abstract is missing.