GUItar
From MaRDI portal
Software:22297
swMATH10336MaRDI QIDQ22297FDOQ22297
Author name not available (Why is that?)
Cited In (9)
- 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
- Implementation of Code Properties via Transducers
- Deciding Kleene algebra terms equivalence in Coq
- Randomized generation of error control codes with automata and transducers
- Deciding regular expressions (in-)equivalence in Coq
- A Type System for Weighted Automata and Rational Expressions
This page was built for software: GUItar
