GUItar

swMATH10336MaRDI QIDQ22297FDOQ22297

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-02979-0_10

Cited In (12)

• 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
• A type system for weighted automata and rational expressions
• OpenFst
• TkWinHOL
• 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

This page was built for software: GUItar