package coq-tree-automata
Tree automatas
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=5997a776ec452efacb22bbd3baf3654a
Description
provides tree automatas algorithms in Coq (merge, intersection, vacuity test, deletion of empty states, coaccessiblity test, deletion of non coaccessible states)
Tags
keyword: tree automatas keyword: bottom up reflexion terms category: Computer Science/Formal Languages Theory and Automata date: september 1999Published: 07 Dec 2019
Dependencies (3)
-
coq-int-map
>= "8.10" & < "8.11~" -
coq
>= "8.10" & < "8.11~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page