Combining word problems through rewriting in categories with products
type: Item
instance of: scholarly article
title: Combining word problems through rewriting in categories with products
zbMATH Open document ID: 1028.68070
DOI: 10.1016/S0304-3975(01)00248-1
author: Camillo Fiorentini
author: Silvio Ghilardi
published in: Theoretical Computer Science
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1956189
zbMATH Keywords: Combined word problems
zbMATH Keywords: Rewrite systems
zbMATH Keywords: Functorial semantics
MaRDI profile type: Publication
cites work: Q4349281
cites work: Q4938605
cites work: Deciding the word problem in the union of equational theories.
cites work: Categories of continuous functors. I
cites work: An algebraic theory of normal forms
cites work: Modal logics withn-ary connectives
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Combining matching algorithms: The regular case
cites work: The join of equational theories
description: scientific article; zbMATH DE number 1956189