Right-linear half-monadic term rewrite systems (Q1884902)
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: Right-linear half-monadic term rewrite systems |
scientific article; zbMATH DE number 2110995
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Right-linear half-monadic term rewrite systems |
scientific article; zbMATH DE number 2110995 |
Statements
Right-linear half-monadic term rewrite systems (English)
0 references
27 October 2004
0 references
Term rewrite systems
0 references
Termination
0 references
Convergence
0 references
Preservation of recognizability
0 references
0.8803641
0 references
0 references
0 references
0.86225754
0 references
0.8610699
0 references
0 references
