FAdo
From MaRDI portal
swMATH10335MaRDI QIDQ22296FDOQ22296
Author name not available (Why is that?)
Official website: http://fado.dcc.fc.up.pt/
Cited In (27)
- Theoretical and implementational aspects of the formal language server (LaSer)
- On the average state complexity of partial derivative automata: an analytic combinatorics approach
- Incremental DFA minimisation
- Applying data refinement for monadic programs to Hopcroft's algorithm
- On the Average Number of States of Partial Derivative Automata
- Regular expressions and transducers over alphabet-invariant and user-defined labels
- Implementation of code properties via transducers
- On the size of partial derivatives and the word membership problem
- A type system for weighted automata and rational expressions
- Grail
- LANGAGE
- OpenFst
- TkWinHOL
- Vaucanson
- LASER
- KAT-ML
- GUItar
- PDCoq
- DiskPaxos
- SoftRegex
- Deciding Kleene algebra terms equivalence in Coq
- Randomized generation of error control codes with automata and transducers
- Deciding regular expressions (in-)equivalence in Coq
- Automata for regular expressions with shuffle
- On the average complexity of partial derivative transducers
- On average behaviour of regular expressions in strong star normal form
- Symbolic manipulation of code properties
This page was built for software: FAdo
