scientific article; zbMATH DE number 3871338
From MaRDI portal
Publication:3338229
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Thue and Post systems, etc. (03D03) Word problems, etc. in computability and recursion theory (03D40) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Word problems (aspects of algebraic structures) (08A50) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Recommendations
Cited in
(23)- A catalogue of complete group presentations
- Thue systems as rewriting systems
- Analysis of Dehn's algorithm by critical pairs
- Complexity, combinatorial group theory and the language of palutators
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
- A polynomial algorithm testing partial confluence of basic semi-Thue systems
- Some experiments with a completion theorem prover
- The Knuth-Bendix procedure for strings as a substitute for coset enumeration
- Superposition theorem proving for abelian groups represented as integer modules
- Conditional congruence closure over uninterpreted and interpreted symbols
- scientific article; zbMATH DE number 1615231 (Why is no real title available?)
- scientific article; zbMATH DE number 3870642 (Why is no real title available?)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- scientific article; zbMATH DE number 16155 (Why is no real title available?)
- scientific article; zbMATH DE number 43246 (Why is no real title available?)
- Superposition theorem proving for abelian groups represented as integer modules
- Applying term rewriting methods to finite groups
- scientific article; zbMATH DE number 3895046 (Why is no real title available?)
- Canonical forms for free {\kappa}-semigroups
- Verifying nilpotence
- Confluence of algebraic rewriting systems
- The Knuth-Bendix algorithm and the conjugacy problem in monoids.
- Congruence closure modulo groups
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 Q3338229)
