𝔖 Bobbio Scriptorium

✦ LIBER ✦

The Hausdorff-Kuratowski hierarchy of ω-regular languages and a hierarchy of Muller automata

✍ Scribed by Rana Barua

Book ID: 107948730
Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 932 KB
Volume: 96
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90342-d

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5556 || Equations Defining the Polynomial Closure of a Lattice of Regular Languages

✍ Albers, Susanne; Marchetti-Spaccamela, Alberto; Matias, Yossi; Nikoletseas, Soti 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 235 KB

The Regular Truncation Scheme of the BBG

The Regular Truncation Scheme of the BBGKY Hierarchy Equations for the Multi-Component Weakly Non-Ideal Plasma

✍ M. M. Shapiro; S. M. Parsadanyan; Yu. V. Tabachnik; I. A. Furgel; N. S. Golosov 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 547 KB

DEVELOPMENT OF RELATIVIZATION IN KOREAN

DEVELOPMENT OF RELATIVIZATION IN KOREAN AS A FOREIGN LANGUAGE: The Noun Phrase Accessibility Hierarchy in Head-Internal and Head-External Relative Clauses

✍ Jeon, K. Seon; Kim, Hae-Young 📂 Article 📅 2007 🏛 Cambridge University Press 🌐 English ⚖ 244 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB