{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":42,"n_cols":5,"rows_kept":42,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[5,2,5,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[12,2,12,3],[16,2,16,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[22,2,22,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[31,2,31,3],[32,2,32,3],[36,2,36,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910137928603321"]
[null,null,"Autore",null,"Hobby David Charles"]
[null,null,"Titolo",null,"The structure of finite algebras / / David Hobby, Ralph McKenzie"]
[null,null,"Pubbl/distr/stampa",null,"Providence, Rhode Island : , : American Mathematical Society, , [1988]"]
[{"$nulls":4},"©1988"]
[null,null,"ISBN",null,"0-8218-3400-2"]
[{"$nulls":4},"0-8218-5073-3"]
[null,null,"Descrizione fisica",null,"1 online resource (224 p.)"]
[null,null,"Collana",null,"Contemporary mathematics, ; 76 , 0271-4132"]
[null,null,"Disciplina",null,"512"]
[null,null,"Soggetti",null,"Algebra, Universal"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes indexes."]
[null,null,null,"Nota di bibliografia","Bibliography: pages 193-194."]
[null,null,"Nota di contenuto",null,"Contents --  Introduction --  Chapter 0: Basic concepts and notation --  Chapter 1: Tight lattices --  Chapter 2: Tame quotients --  Chapter 3: Abelian and solvable algebras --  Chapter 4: The structure of minimal algebras --  Chapter 5: The types of tame quotients --  Chapter 6: Labeled congruence lattices --  Chapter 7: Solvability and semi-distributivity --  Chapter 8: Congruence modular varieties --  Chapter 9: Mal'cev classification and omitting types --  Chapter 10: Residually small varieties --  Chapter 11: Decidable varieties --  Chapter 12: Free spectra --  Chapter 13: Tame algebras and E-minimal algebras --  Chapter 14: Simple algebras in varieties --  Problems --  An appendix added in July, 1996 --  Bibliography --  Added in July, 1996 --  Index to Terms --  A-Z -- Index of Notation."]
[null,"2.","Record Nr.",null,"UNINA9910824922703321"]
[null,null,"Autore",null,"Rigo Michel"]
[null,null,"Titolo",null,"Formal languages, automata and numeration systems 2 / / Michel Rigo"]
[null,null,"Pubbl/distr/stampa",null,"London, England ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2014"]
[{"$nulls":4},"©2014"]
[null,null,"ISBN",null,"1-119-04286-0"]
[{"$nulls":4},"1-119-04285-2"]
[{"$nulls":4},"1-119-04295-X"]
[null,null,"Descrizione fisica",null,"1 online resource (274 p.)"]
[null,null,"Collana",null,"Networks and Telecommunications Series"]
[null,null,"Disciplina",null,"001.642"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Formal languages"]
[{"$nulls":4},"Machine theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover page; Half-Title page; Title page; Copyright page; Contents; Foreword; Introduction; I.1. What this book is or is not about; I.2. A few words about what you will find; I.3. How to read this book; I.4. Acknowledgments; 1: Crash Course on Regular Languages; 1.1. Automata and regular languages; 1.2. Adjacency matrix; 1.3. Multidimensional alphabet; 1.4. Two pumping lemmas; 1.5. The minimal automaton; 1.6. Some operations preserving regularity; 1.7. Links with automatic sequences and recognizable sets; 1.8. Polynomial regular languages; 1.8.1. Tiered words"]
[{"$nulls":4},"1.8.2. Characterization of regular languages of polynomial growth 1.8.3. Growing letters in morphic words; 1.9. Bibliographic notes and comments; 2: A Range of Numeration Systems; 2.1. Substitutive systems; 2.2. Abstract numeration systems; 2.2.1. Generalization of Cobham's theorem on automatic sequences; 2.2.2. Some properties of abstract numeration systems; 2.3. Positional numeration systems; 2.4. Pisot numeration systems; 2.5. Back to β-expansions; 2.5.1. Representation of real numbers; 2.5.2. Link between representations of integers and real numbers"]
[{"$nulls":4},"2.5.3. Ito-Sadahiro negative base systems 2.6. Miscellaneous systems; 2.7. Bibliographical notes and comments; 3: Logical Framework and Decidability Issues; 3.1. A glimpse at mathematical logic; 3.1.1. Syntax; 3.1.2. Semantics; 3.2. Decision problems and decidability; 3.3. "]
[{"$nulls":4},"Quantifier elimination in Presburger arithmetic; 3.3.1. Equivalent structures; 3.3.2. Presburger's theorem and quantifier elimination; 3.3.3. Some consequences of Presburger's theorem; 3.4. Büchi's theorem; 3.4.1. Definable sets; 3.4.2. A constructive proof of Büchi's theorem; 3.4.3. Extension to Pisot numeration systems"]
[{"$nulls":4},"3.5. Some applications 3.5.1. Properties about automatic sequences; 3.5.2. Overlap-freeness; 3.5.3. Abelian unbordered factors; 3.5.4. Periodicity; 3.5.5. Factors; 3.5.6. Applications to Pisot numeration systems; 3.6. Bibliographic notes and comments; 4: List of Sequences; Bibliography; Index; Volume 1 - Contents; Volume 1 - Index"]
[null,null,null,"Sommario/riassunto","The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a \"simple\" binary expansion, by B. Adamczewski and Y. Bugeaud.   This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from"]