An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression (Q5428227)
From MaRDI portal
scientific article; zbMATH DE number 5215370
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression |
scientific article; zbMATH DE number 5215370 |
Statements
An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression (English)
0 references
28 November 2007
0 references
