ON (UN)SOUNDNESS OF UNRAVELINGS (Q5389139)
From MaRDI portal
scientific article; zbMATH DE number 6027895
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON (UN)SOUNDNESS OF UNRAVELINGS |
scientific article; zbMATH DE number 6027895 |
Statements
25 April 2012
0 references
conditional rewriting
0 references
transformation into unconditional systems
0 references
unsoundness
0 references
unraveling
0 references
ON (UN)SOUNDNESS OF UNRAVELINGS (English)
0 references
