Problem corner: Proving equivalence of different axiomatizations of free groups

DOI10.1007/BF00244946zbMath0654.68102OpenAlexW2011658799MaRDI QIDQ1108815

Deepak Kapur, Han-Tao Zhang

Publication date: 1988

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00244946

zbMATH Keywords

free groupautomatic theorem provercomplete sets of rewrite ruleslexicographic recursive path ordering

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Axiomatics and elementary properties of groups (20A05)

Related Items

Some experiments with a completion theorem prover ⋮ Single axioms for groups and abelian groups with various operations ⋮ Automated proofs of equality problems in Overbeek's competition

Uses Software

• RRL

This page was built for publication: Problem corner: Proving equivalence of different axiomatizations of free groups