Nondeterministic Tree Automata

DOI10.1007/3-540-36387-4_8zbMath1021.68046OpenAlexW2099629738MaRDI QIDQ4412831

Frank Nießner

Publication date: 16 July 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-36387-4_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

Realizability problem for constraint LTL ⋮ Unnamed Item

This page was built for publication: Nondeterministic Tree Automata