Groups, Languages, Algorithms

Groups, Languages, Algorithms
Author: Alexandre Borovik
Publisher: American Mathematical Soc.
Total Pages: 360
Release: 2005
Genre: Mathematics
ISBN: 0821836188

Download Groups, Languages, Algorithms Book in PDF, Epub and Kindle

Since the pioneering works of Novikov and Maltsev, group theory has been a testing ground for mathematical logic in its many manifestations, from the theory of algorithms to model theory. The interaction between logic and group theory led to many prominent results which enriched both disciplines. This volume reflects the major themes of the American Mathematical Society/Association for Symbolic Logic Joint Special Session (Baltimore, MD), Interactions between Logic, Group Theory and Computer Science. Included are papers devoted to the development of techniques used for the interaction of group theory and logic. It is suitable for graduate students and researchers interested in algorithmic and combinatorial group theory. A complement to this work is Volume 349 in the AMS series, Contemporary Mathematics, Computational and Experimental Group Theory, which arose from the same meeting and concentrates on the interaction of group theory and computer science.


Groups, Languages, Algorithms
Language: en
Pages: 360
Authors: Alexandre Borovik
Categories: Mathematics
Type: BOOK - Published: 2005 - Publisher: American Mathematical Soc.

GET EBOOK

Since the pioneering works of Novikov and Maltsev, group theory has been a testing ground for mathematical logic in its many manifestations, from the theory of
Semigroups, Algorithms, Automata And Languages
Language: en
Pages: 526
Authors: Gracinda M S Gomes
Categories: Mathematics
Type: BOOK - Published: 2002-11-26 - Publisher: World Scientific

GET EBOOK

The thematic term on “Semigroups, Algorithms, Automata and Languages” organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2
Pearls of Functional Algorithm Design
Language: en
Pages:
Authors: Richard Bird
Categories: Computers
Type: BOOK - Published: 2010-09-16 - Publisher: Cambridge University Press

GET EBOOK

Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming proble
Algorithms and Classification in Combinatorial Group Theory
Language: en
Pages: 235
Authors: Gilbert Baumslag
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

The papers in this volume are the result of a workshop held in January 1989 at the Mathematical Sciences Research Institute. Topics covered include decision pro
Algorithms in Geometric Group Theory
Language: en
Pages: 308
Authors: Zeph Grunschlag
Categories:
Type: BOOK - Published: 1999 - Publisher:

GET EBOOK