GUItar
From MaRDI portal
Software:22297
swMATH10336MaRDI QIDQ22297FDOQ22297
Author name not available (Why is that?)
Cited In (9)
- Deciding Regular Expressions (In-)Equivalence in Coq
- On the average state complexity of partial derivative automata: an analytic combinatorics approach
- 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
- A Type System for Weighted Automata and Rational Expressions
- Incremental DFA Minimisation
This page was built for software: GUItar
