scientific article
From MaRDI portal
Publication:3338229
zbMath0547.03028MaRDI QIDQ3338229
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03) Word problems (aspects of algebraic structures) (08A50) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
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, Conditional congruence closure over uninterpreted and interpreted symbols, 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, Verifying nilpotence, Superposition theorem proving for abelian groups represented as integer modules, Confluence of algebraic rewriting systems
