Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729)
From MaRDI portal
scientific article; zbMATH DE number 6286459
Language | Label | Description | Also known as |
---|---|---|---|
English | Rewriting and narrowing for constructor systems with call-time choice semantics |
scientific article; zbMATH DE number 6286459 |
Statements
Rewriting and narrowing for constructor systems with call-time choice semantics (English)
0 references
17 April 2014
0 references
term rewriting systems
0 references
constructor-based rewriting logic
0 references
narrowing
0 references
non-determinism
0 references
call-time choice semantics
0 references
sharing
0 references
local bindings
0 references