A decidable extension of data automata (Q4964723)
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: A decidable extension of data automata |
scientific article; zbMATH DE number 7317256
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A decidable extension of data automata |
scientific article; zbMATH DE number 7317256 |
Statements
3 March 2021
0 references
0.7753095030784607
0 references
0.736135721206665
0 references
0.7353692054748535
0 references
0.7344711422920227
0 references
