A class of confluent term rewriting systems and unification (Q1101209)
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: A class of confluent term rewriting systems and unification |
scientific article; zbMATH DE number 4047061
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A class of confluent term rewriting systems and unification |
scientific article; zbMATH DE number 4047061 |
Statements
A class of confluent term rewriting systems and unification (English)
0 references
1986
0 references
E-unification
0 references
narrowing
0 references
term rewriting systems
0 references
equational theories
0 references
0 references
0.93152094
0 references
0.92559713
0 references
0.9233049
0 references
0.9184017
0 references
0.91560405
0 references
0.91472954
0 references