No label defined (Q4728263)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 4003554 |
scientific article; zbMATH DE number 4003554
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4003554 |
Statements
1986
0 references
test set
0 references
finite transducers
0 references
HDT0L language
0 references
equivalence problem
0 references
multivalued transducers
0 references
1.0000002
0 references
0.93730026
0 references
0.9141729
0 references
0.90455306
0 references
0.8973609
0 references
0.89393145
0 references
0.89375985
0 references
0.89213514
0 references
