Hereditarily Finite Sets

swMATH29249MaRDI QIDQ40963FDOQ40963

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/HereditarilyFinite.html

Described by source

• A formalisation of finite automata using hereditarily finite sets

Cited In (13)

• 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
• Finite Automata HF
• Hotel Key Card
• MSO_Regex_Equivalence
• Regex_Equivalence
• Hereditarily finite sets in constructive type theory
• Two-Way Automata in Coq

This page was built for software: Hereditarily Finite Sets