Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Elsevier

9780720422719

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Equations Over Groups

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71920-7 ◽

1973 ◽

pp. 563-567 ◽

Author(s):

Helmut Schiek

Keyword(s):

Equations Over Groups

Download Full-text

Construction of a Non-Solvable Group of Exponent 5

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71903-7 ◽

1973 ◽

pp. 39-66 ◽

Author(s):

S. Bachmuth ◽

H.Y. Mochizuki ◽

D.W. Walkup

Keyword(s):

Download Full-text

The Algebraic Invariance of the Word Problem in Groups

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71907-4 ◽

1973 ◽

pp. 349-364 ◽

Author(s):

F.B. Cannonito

Keyword(s):

Download Full-text

Some Connections between Hilberts 10th Problem and the Theory of Groups

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71916-5 ◽

1973 ◽

pp. 483-506 ◽

Author(s):

Charles F. Miller

Download Full-text

The Higman Theorem for Primitive-Recursive Groups - A Preliminary Report

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71910-4 ◽

1973 ◽

pp. 421-425 ◽

Author(s):

R.W. Gatterdam

Keyword(s):

Preliminary Report ◽

Primitive Recursive

Download Full-text

On the Word Problem and T-Fourth-Groups

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71912-8 ◽

1973 ◽

pp. 443-451

Author(s):

Seymour Lipschutz

Keyword(s):

Download Full-text

Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71923-2 ◽

1973 ◽

pp. 609-639 ◽

Author(s):

Lawrence Wos ◽

George Robinson

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Maximal Models ◽

Automatic Theorem

Download Full-text

On a Conjecture of W. Magnus

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71913-x ◽

1973 ◽

pp. 453-456 ◽

Author(s):

James McCool ◽

Alfred Pietrowski

Download Full-text

A Proof of Higman's Embedding Theorem Using Britton Extensions of Groups

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71901-3 ◽

1973 ◽

pp. 1-18 ◽

Author(s):

Stål Aanderaa

Keyword(s):

Embedding Theorem

Download Full-text

Edited by

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71896-2 ◽

1973 ◽

pp. iii

Download Full-text