Term Rewriting and Applications
type: Item
instance of: scholarly article
title: Term Rewriting and Applications
zbMATH Open document ID: 1078.03012
author: Piotr Hoffman
published in: Lecture Notes in Computer Science
publication date: 2005-11-11T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D40
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 2227944
MaRDI profile type: MaRDI publication profile
full work available at URL: b135673
OpenAlex ID: W2504734884
DOI: 10.1007/B135673
Recommended article: Unification in a combination of equational theories: an efficient algorithm
Recommended article: Q3835440
Recommended article: Unions of Equational Monadic Theories
Recommended article: The equational theory of union-free algebras of relations
Recommended article: Some results on equational unification
Recommended article: Q3779785
Recommended article: Q3334107
Recommended article: Q3786020
Recommended article: Q4255512
Recommended article: Unification in a combination of arbitrary disjoint equational theories
description: scientific article; zbMATH DE number 2227944