Combining termination criteria by isolating deletion (Q4931316)
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: Combining termination criteria by isolating deletion |
scientific article; zbMATH DE number 5795662
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Combining termination criteria by isolating deletion |
scientific article; zbMATH DE number 5795662 |
Statements
Combining Termination Criteria by Isolating Deletion (English)
0 references
4 October 2010
0 references
termination
0 references
graph transformations
0 references
model transformations
0 references
0.8127284646034241
0 references
0.8091206550598145
0 references
0.8011765480041504
0 references
0.7939955592155457
0 references
0.7828561663627625
0 references
