On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (Q5111905)
From MaRDI portal
scientific article; zbMATH DE number 7205333
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems |
scientific article; zbMATH DE number 7205333 |
Statements
27 May 2020
0 references
conditional term rewriting system (CTRS)
0 references
deterministic CTRS
0 references
transformation
0 references
simulation
0 references
soundness
0 references
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (English)
0 references
