GUItar
From MaRDI portal
Software:22297
No author found.
Related Items (9)
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 ⋮ A Type System for Weighted Automata and Rational Expressions ⋮ On the Average Number of States of Partial Derivative Automata ⋮ Incremental DFA Minimisation ⋮ Randomized generation of error control codes with automata and transducers ⋮ Implementation of Code Properties via Transducers ⋮ Deciding Kleene algebra terms equivalence in Coq
This page was built for software: GUItar
