Q4799892
type: Item
instance of: scholarly article
zbMATH Open document ID: 1030.68053
publication date: 2003-03-30T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 1889386
zbMATH Keywords: abstract rewriting
zbMATH Keywords: first-order rewriting
zbMATH Keywords: higher-order rewriting
MaRDI profile type: Publication
Recommended article: Q4376886
Recommended article: Q3817590
Recommended article: Q4207592
Recommended article: Q5309373
Recommended article: Q3336738
Recommended article: The termination hierarchy for term rewriting
Recommended article: Q4702599
Recommended article: Extended term rewriting systems
Recommended article: Q2778880
Recommended article: Q3750994
description: scientific article; zbMATH DE number 1889386