Symbolic Tree Transducers

DOI10.1007/978-3-642-29709-0_32zbMath1336.68158OpenAlexW1594273357MaRDI QIDQ3457988

Nikolaj Bjørner, Margus Veanes

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01517919/file/symbeq.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics

This page was built for publication: Symbolic Tree Transducers