Propositional Tree Automata

DOI10.1007/11805618_5zbMath1151.68460OpenAlexW1532979110MaRDI QIDQ3527283

Mahesh Viswanathan, Hitoshi Ohsaki, Joe Hendrix

Publication date: 25 September 2008

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

Full work available at URL: https://doi.org/10.1007/11805618_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Twenty years of rewriting logic

Uses Software

• AVISPA

This page was built for publication: Propositional Tree Automata