Finite Automata HF
From MaRDI portal
swMATH29250MaRDI QIDQ40964FDOQ40964
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Finite_Automata_HF.html
Cited In (14)
- Graph theory in Coq: minors, treewidth, and isomorphisms
- Formally verified algorithms for upper-bounding state space diameters
- Regular language representations in the constructive type theory of Coq
- Myhill-Nerode
- POSIX Lexing
- Presburger Automata
- Regular Sets
- Hotel Key Card
- Hereditarily Finite Sets
- MSO_Regex_Equivalence
- Regex_Equivalence
- Hereditarily finite sets in constructive type theory
- Two-Way Automata in Coq
- A formalisation of finite automata using hereditarily finite sets
This page was built for software: Finite Automata HF
