State Space Reduction of Rewrite Theories Using Invisible Transitions (Q3623931)
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: State Space Reduction of Rewrite Theories Using Invisible Transitions |
scientific article; zbMATH DE number 5547650
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | State Space Reduction of Rewrite Theories Using Invisible Transitions |
scientific article; zbMATH DE number 5547650 |
Statements
State Space Reduction of Rewrite Theories Using Invisible Transitions (English)
0 references
28 April 2009
0 references
0.8622055649757385
0 references
0.7642098069190979
0 references
0.7527440786361694
0 references
0.7483654618263245
0 references
