scientific article; zbMATH DE number 1419256

MaRDI QIDQ4942275zbMATH OpenFDO

Authors Jing Wang, Stephen J. Pride

Publication date 14 December 2000

zbMATH Keywords

Dehn functionsfinite derivation typefinite homological typefiniteness conditionsgroupsrewriting systemssemigroupsSquier complexes

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Connections of semigroups with homological algebra and category theory (20M50) Grammars and rewriting systems (68Q42) Combinatorics on words (68R15)

Recommendations

• FINITENESS CONDITIONS FOR REWRITING SYSTEMS
• A finiteness condition for rewriting systems
• Existence, Uniqueness, and Construction of Rewrite Systems
• Infinitary rewriting: foundations revisited
• Reduction operators and completion of rewriting systems
• scientific article; zbMATH DE number 1722708
• scientific article; zbMATH DE number 1222454
• Complete involutive rewriting systems
• scientific article; zbMATH DE number 4006231
• Invariants and closures in the theory of rewrite systems

Cited in

(21)

• The problems of cyclic equality and conjugacy for finite complete rewriting systems
• A finiteness condition for rewriting systems
• Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions.
• Rewriting systems over similarity and generalized pseudometric spaces and their properties
• Invariants and closures in the theory of rewrite systems
• On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
• Finite derivation type for Rees matrix semigroups
• Complete involutive rewriting systems
• scientific article; zbMATH DE number 3878384 (Why is no real title available?)
• Relative rewriting systems.
• Antimirov and Mosses’s Rewrite System Revisited
• Finite canonical rewriting systems for congruences generated by concurrency relations
• Homotopy bases and finite derivation type for subgroups of monoids.
• Finite derivation type for semilattices of semigroups.
• Rewrite systems for natural, integral, and rational arithmetic
• FINITENESS CONDITIONS FOR REWRITING SYSTEMS
• SECOND ORDER DEHN FUNCTIONS OF GROUPS AND MONOIDS
• On higher order homological finiteness of rewriting systems.
• Transformations of expressions associated with systems of recursion relations
• Finite complete rewriting systems for regular semigroups.
• On some homotopical and homological properties of monoid presentations.

This page was built for publication:

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