GUItar
From MaRDI portal
Cited in
(20)- Grail
- LANGAGE
- OpenFst
- TkWinHOL
- Vaucanson
- KAT-ML
- FAdo
- PDCoq
- Deciding Kleene algebra terms equivalence in Coq
- Implementation of code properties via transducers
- On the average state complexity of partial derivative automata: an analytic combinatorics approach
- Applying data refinement for monadic programs to Hopcroft's algorithm
- Deciding regular expressions (in-)equivalence in Coq
- Incremental DFA minimisation
- A type system for weighted automata and rational expressions
- On the Average Number of States of Partial Derivative Automata
- Regular Sets
- DiskPaxos
- SoftRegex
- Randomized generation of error control codes with automata and transducers
This page was built for software: GUItar
