ABSTRACT MODELS OF TRANSFINITE REDUCTIONS (Q5389135)
From MaRDI portal
scientific article; zbMATH DE number 6027891
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ABSTRACT MODELS OF TRANSFINITE REDUCTIONS |
scientific article; zbMATH DE number 6027891 |
Statements
25 April 2012
0 references
infinitary rewriting
0 references
metric
0 references
partial order
0 references
abstract reduction system
0 references
axiomatic
0 references
term rewriting
0 references
graph rewriting
0 references
ABSTRACT MODELS OF TRANSFINITE REDUCTIONS (English)
0 references
