Algorithmic Problems in Groups and Semigroups


Book Description

This volume contains papers which are based primarily on talks given at an inter national conference on Algorithmic Problems in Groups and Semigroups held at the University of Nebraska-Lincoln from May ll-May 16, 1998. The conference coincided with the Centennial Celebration of the Department of Mathematics and Statistics at the University of Nebraska-Lincoln on the occasion of the one hun dredth anniversary of the granting of the first Ph.D. by the department. Funding was provided by the US National Science Foundation, the Department of Math ematics and Statistics, and the College of Arts and Sciences at the University of Nebraska-Lincoln, through the College's focus program in Discrete, Experimental and Applied Mathematics. The purpose of the conference was to bring together researchers with interests in algorithmic problems in group theory, semigroup theory and computer science. A particularly useful feature of this conference was that it provided a framework for exchange of ideas between the research communities in semigroup theory and group theory, and several of the papers collected here reflect this interac tion of ideas. The papers collected in this volume represent a cross section of some of the results and ideas that were discussed in the conference. They reflect a synthesis of overlapping ideas and techniques stimulated by problems concerning finite monoids, finitely presented mono ids, finitely presented groups and free groups.




Semigroups And Languages, Proceedings Of The Workshop


Book Description

In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields.The proceedings have been selected for coverage in:• Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings)• Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)• CC Proceedings — Engineering & Physical Sciences




Proceedings of the Workshop Semigroups and Languages


Book Description

In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields. The proceedings have been selected for coverage in: . OCo Index to Scientific & Technical Proceedings- (ISTP- / ISI Proceedings). OCo Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings). OCo CC Proceedings OCo Engineering & Physical Sciences."




Semigroups, Algorithms, Automata, and Languages


Book Description

The thematic term on ?Semigroups, Algorithms, Automata and Languages? organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science.This proceedings volume is a unique collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included.




Encyclopaedia of Mathematics (set)


Book Description

The Encyclopaedia of Mathematics is the most up-to-date, authoritative and comprehensive English-language work of reference in mathematics which exists today. With over 7,000 articles from `A-integral' to `Zygmund Class of Functions', supplemented with a wealth of complementary information, and an index volume providing thorough cross-referencing of entries of related interest, the Encyclopaedia of Mathematics offers an immediate source of reference to mathematical definitions, concepts, explanations, surveys, examples, terminology and methods. The depth and breadth of content and the straightforward, careful presentation of the information, with the emphasis on accessibility, makes the Encyclopaedia of Mathematics an immensely useful tool for all mathematicians and other scientists who use, or are confronted by, mathematics in their work. The Enclyclopaedia of Mathematics provides, without doubt, a reference source of mathematical knowledge which is unsurpassed in value and usefulness. It can be highly recommended for use in libraries of universities, research institutes, colleges and even schools.




Rewriting Techniques and Applications


Book Description

This volume contains the proceedings of RTA-93, the fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited lectures, "Rewrite techniques in theorem proving" (L. Bachmair), "Proving properties of typed lambda terms: realizability, covers, and sheaves" (J. Gallier), and "On some algorithmic problems for groups and monoids" (S.J. Adian), together with 29 selected papers, 6 system descriptions, and a list of open problems in the field. The papers covermany topics: term rewriting; termination; graph rewriting; constraint solving; semantic unification, disunification and combination; higher-order logics; and theorem proving, with several papers on distributed theorem proving, theorem proving with constraints and completion.







Geometric Methods in Group Theory


Book Description

This volume presents articles by speakers and participants in two AMS special sessions, Geometric Group Theory and Geometric Methods in Group Theory, held respectively at Northeastern University (Boston, MA) and at Universidad de Sevilla (Spain). The expository and survey articles in the book cover a wide range of topics, making it suitable for researchers and graduate students interested in group theory.




Semigroups, Formal Languages and Groups


Book Description

Semigroups, Formal Languages and Groups contains articles that provide introductory accounts of recent research in rational languages and their connections with finite semigroups, including the celebrated BG=PG theorem, infinite languages, free profinite monoids and their applications to pseudovarieties, parallel complexity classes related to automata, semigroups and logic, algebraic monoids, geometric methods in semigroup presentations, automatic groups and groups acting on Lambda-trees. There is also an extensive survey of algorithmic problems in groups, semigroups and inverse monoids. In addition, the book includes hitherto unpublished research on monoids of Lie type and their representations, free actions of groups on Lambda-trees and an extension to arbitrary semigroups of the famous Krohn-Rhodes theorem.




Developments in Language Theory


Book Description

This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation. The 27 full papers included in these proceedings were carefully reviewed and selected from 48 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; quantum computing. The book also includes 3 invited talks in full paper length.