✦ LIBER ✦

Task automata: Schedulability, decidability and undecidability

✍ Scribed by Elena Fersman; Pavel Krcal; Paul Pettersson; Wang Yi

Book ID: 113641685
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 337 KB
Volume: 205
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2007.01.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable and Undecidable Problems about

Decidable and Undecidable Problems about Quantum Automata

✍ Blondel, Vincent D.; Jeandel, Emmanuel; Koiran, Pascal; Portier, Natacha 📂 Article 📅 2005 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 159 KB

Decidability and Essential Undecidabilit

Decidability and Essential Undecidability

✍ Putnam, Hilary 📂 Fiction 📅 0 🌐 English ⚖ 477 KB

Frontier between decidability and undeci

Frontier between decidability and undecidability: a survey

✍ Maurice Margenstern 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 272 KB

Systolic trellis automata: Stability, de

Systolic trellis automata: Stability, decidability and complexity

✍ K. Culik II; J. Gruska; A. Salomaa 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 597 KB

Monoids with decidable and undecidable c

Monoids with decidable and undecidable classes of polygons

✍ A. A. Stepanova 📂 Article 📅 1998 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 471 KB

Decidable and undecidable logics with a

Decidable and undecidable logics with a binary modality

✍ ágnes Kurucz; István Németi; Ildikó Sain; András Simon 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 963 KB