Tree Automata
From MaRDI portal
Software:40549
No author found.
Related Items (3)
Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm ⋮ Automatic refinement to efficient data structures: a comparison of two approaches ⋮ Reachability, confluence, and termination analysis with state-compatible automata
This page was built for software: Tree Automata
