Infinite Words
Infinite Words

Author: Dominique Perrin

Publisher: Academic Press

Published: 2004-02-18

Total Pages: 560

ISBN-13: 9780125321112

DOWNLOAD EBOOK

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Büchi, McNaughton and Schützenberger. Serves as both an introduction to the field and as a reference book. Contains numerous exercises desgined to aid students and readers. Self-contained chapters provide helpful guidance for lectures.

Logic and Automata
Logic and Automata

Author: Jörg Flum

Publisher: Amsterdam University Press

Published: 2008

Total Pages: 737

ISBN-13: 9053565760

DOWNLOAD EBOOK

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

Combinatorics on Words
Combinatorics on Words

Author: Robert Mercaş

Publisher: Springer Nature

Published: 2019-09-02

Total Pages: 340

ISBN-13: 3030287963

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019. The 21 revised full papers presented in this book together with 5 invited talks were carefully reviewed and selected from 34 submissions. WORDS is the main conference series devoted to the mathematical theory of words. In particular, the combinatorial, algebraic and algorithmic aspects of words are emphasized. Motivations may also come from other domains such as theoretical computer science, bioinformatics, digital geometry, symbolic dynamics, numeration systems, text processing, number theory, etc.

Combinatorics on Words
Combinatorics on Words

Author: Juhani Karhumäki

Publisher: Springer

Published: 2013-08-15

Total Pages: 271

ISBN-13: 3642405797

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Combinatorics on Words, WORDS 2013, held in Turku, Finland, in September 2013 under the auspices of the EATCS. The 20 revised full papers presented were carefully reviewed and selected from 43 initial submissions. The central topic of the conference is combinatorics on words (i.e. the study of finite and infinite sequence of symbols) from varying points of view, including their combinatorial, algebraic and algorithmic aspects, as well as their applications.

Computer Science -- Theory and Applications
Computer Science -- Theory and Applications

Author: Farid Ablayev

Publisher: Springer Science & Business Media

Published: 2010-06

Total Pages: 408

ISBN-13: 3642131816

DOWNLOAD EBOOK

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.

STACS 96
STACS 96

Author: Claude Puech

Publisher: Springer Science & Business Media

Published: 1996-02-14

Total Pages: 710

ISBN-13: 9783540609223

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.

From Christoffel Words to Markoff Numbers
From Christoffel Words to Markoff Numbers

Author: Christophe Reutenauer

Publisher:

Published: 2019

Total Pages: 169

ISBN-13: 0198827547

DOWNLOAD EBOOK

This book looks to expand on the relationship between Christoffel words and Markoff theory. Part 1 focuses on the classical theory of Markoff, while part II explores the more advanced and recent results around Christoffel words.