Chapter
Licensed
Unlicensed
Requires Authentication
Boolean algebras of regular quasi-aperiodic languages
-
Anton Konovalov
You are currently not able to access this content.
You are currently not able to access this content.
Chapters in this book
- Frontmatter i
- Preface vii
- Contents ix
- The life and work of Victor L. Selivanov 1
- Tight extensions of T0-quasi-metric spaces 9
- On the strongly bounded turing degrees of simple sets 23
- Levels of discontinuity, limit-computability, and jump operators 79
- The wadge hierarchy of Petri Nets ω-languages 109
- Diophantine properties of brownian motion: recursive aspects 139
- The completeness of isomorphism 157
- Complexity issues for Preorders on finite labeled forests 165
- Boolean algebras of regular quasi-aperiodic languages 191
- A simple indeterminate infinite game 205
- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces 213
- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC 259
- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY 273
- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) 297
- PARTIAL NUMBERINGS AND PRECOMPLETENESS 325
- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS 341
- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES 383
- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS 393
- INDEX 411
Chapters in this book
- Frontmatter i
- Preface vii
- Contents ix
- The life and work of Victor L. Selivanov 1
- Tight extensions of T0-quasi-metric spaces 9
- On the strongly bounded turing degrees of simple sets 23
- Levels of discontinuity, limit-computability, and jump operators 79
- The wadge hierarchy of Petri Nets ω-languages 109
- Diophantine properties of brownian motion: recursive aspects 139
- The completeness of isomorphism 157
- Complexity issues for Preorders on finite labeled forests 165
- Boolean algebras of regular quasi-aperiodic languages 191
- A simple indeterminate infinite game 205
- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces 213
- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC 259
- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY 273
- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) 297
- PARTIAL NUMBERINGS AND PRECOMPLETENESS 325
- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS 341
- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES 383
- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS 393
- INDEX 411