Languages Modulo Normalization

DOI10.1007/978-3-540-74621-8_15zbMath1148.68402OpenAlexW2156363518MaRDI QIDQ3525012

Hiroyuki Seki, Hitoshi Ohsaki

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)

This page was built for publication: Languages Modulo Normalization