Checking simple properties of transition systems defined by Thue specifications (Q1610675)
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: Checking simple properties of transition systems defined by Thue specifications |
scientific article; zbMATH DE number 1784335
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking simple properties of transition systems defined by Thue specifications |
scientific article; zbMATH DE number 1784335 |
Statements
Checking simple properties of transition systems defined by Thue specifications (English)
0 references
20 August 2002
0 references
0.8604861
0 references
0 references
0.8571829
0 references
0.8571829
0 references
0.8508031
0 references
0.8458814
0 references
0.84534883
0 references
