Combining word problems through rewriting in categories with products

DOI10.1016/S0304-3975(01)00248-1MaRDI QIDQ1398463zbMATH OpenFDO

Authors Camillo Fiorentini, Silvio Ghilardi

Publication date 29 July 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(01)00248-1

zbMATH Keywords

Combined word problemsFunctorial semanticsRewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Deciding the word problem in the union of equational theories.
• scientific article; zbMATH DE number 1405626
• Combining matching algorithms: The regular case
• Combining matching algorithms: The regular case
• Combining equational reasoning

Cites work

• An algebraic theory of normal forms
• Categories of continuous functors. I
• Combining matching algorithms: The regular case
• Combining word problems through rewriting in categories with products
• Deciding the word problem in the union of equational theories.
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 1047504 (Why is no real title available?)
• scientific article; zbMATH DE number 1405626 (Why is no real title available?)
• Modal logics withn-ary connectives
• The join of equational theories

Cited in

(7)

• Combining word problems through rewriting in categories with products
• Deciding the word problem in the union of equational theories.
• Unions of non-disjoint theories and combinations of satisfiability procedures
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• scientific article; zbMATH DE number 5560346 (Why is no real title available?)
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
• Model-theoretic methods in combined constraint satisfiability

This page was built for publication: Combining word problems through rewriting in categories with products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398463)