Sufficiency Conditions for Bokut' Normal Forms

DOI10.1080/00927872.2010.489535MaRDI QIDQ3098174zbMATH OpenOpenAlexFDO

Authors

Publication date 17 November 2011

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927872.2010.489535

zbMATH Keywords

automatic theorem proversBokut' normal formsgroupsGröbner-Shirshov basesnormal form theoremssequences of HNN extensions

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4023761
• scientific article; zbMATH DE number 3899811
• Normal forms and normal theories in conditional rewriting
• A sufficient normality condition for Turing's formula
• A generalization of the theory of normal forms
• scientific article; zbMATH DE number 3124819
• scientific article; zbMATH DE number 1615232
• Normality via conditional normality of linear forms
• Sufficient conditions for normal structure in a Banach space

Cites work

• Decision Problems in Group Theory
• EXPONENTIAL LENGTH OF CERTAIN SEQUENCES OF SUBSETS
• Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group
• scientific article; zbMATH DE number 612877 (Why is no real title available?)
• Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov

Cited in

(2)

• Gröbner-Shirshov bases and their calculation
• Parametrized Gröbner–Shirshov bases

This page was built for publication: Sufficiency Conditions for Bokut' Normal Forms

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