Q4035223
type: Item
instance of: scholarly article
zbMATH Open document ID: 0777.68054
author: Pierre Lescanne
publication date: 1993-05-18T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 176122
MaRDI profile type: Publication
Recommended article: A termination ordering for higher order rewrite systems
Recommended article: Termination orderings for associative-commutative rewriting systems
Recommended article: AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
Recommended article: Q2723890
Recommended article: Higher-order rewrite systems and their confluence
Recommended article: Term rewriting systems with sort priorities
Recommended article: Deciding the confluence of ordered term rewrite systems
Recommended article: Term orderings for non-reachability of (conditional) rewriting
Recommended article: Q3683533
description: scientific article