Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem

Zoltán Fülöp 0001, Heiko Vogler. Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem. In Miroslav Ciric, Manfred Droste, Jean-Éric Pin, editors, Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings. Volume 11545 of Lecture Notes in Computer Science, pages 138-150, Springer, 2019. [doi]

Abstract

Abstract is missing.