Pages that link to "Item:Q3454094"
From MaRDI portal
The following pages link to A Formalisation of Finite Automata Using Hereditarily Finite Sets (Q3454094):
Displaying 7 items.
- Hereditarily Finite Sets (Q40963) (← links)
- Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Hereditarily Finite Sets in Constructive Type Theory (Q2829273) (← links)
- A Verified Compositional Algorithm for AI Planning (Q5875407) (← links)