issues
search
bishoksan
/
DFTA
Determinisation and Completion of Finite Tree Automata
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add more diverse examples
#5
modulovalue
closed
6 months ago
1
The BDD & SAT versions do not compile.
#4
modulovalue
closed
6 months ago
2
Unnecessary canonicalization?
#3
modulovalue
closed
9 months ago
5
[DeterminiserTextBook] A HashSet-based deltad improves performance significantly.
#2
modulovalue
closed
9 months ago
2
`Signature` is missing.
#1
modulovalue
closed
10 months ago
3