Tree Automata
From MaRDI portal
swMATH28835MaRDI QIDQ40549FDOQ40549
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Tree-Automata.html
Cited In (9)
- Applying data refinement for monadic programs to Hopcroft's algorithm
- TkWinHOL
- CAVA Automata Library
- DiskPaxos
- Light-weight Containers
- LTL_to_GBA
- Real_Impl
- 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
