Languages Modulo Normalization

DOI10.1007/978-3-540-74621-8_15MaRDI QIDQ3525012zbMATH OpenOpenAlexFDO

Authors Hitoshi Ohsaki, Hiroyuki Seki

Publication date 16 September 2008

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74621-8_15

zbMATH Keywords

regularitydecidabilityXML schemahedge automataequational rewritingBoolean closednesstree automata modulo axioms

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1841842
• Decidable classes of tree automata mixing local and global constraints modulo flat theories
• Tree automata with equality constraints modulo equational theories
• scientific article; zbMATH DE number 2043533
• Tree Automata with Equality Constraints Modulo Equational Theories

Cited in

(1)

• 1-normal DRA for insertion languages

This page was built for publication: Languages Modulo Normalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525012)