✦ LIBER ✦

Decidability of Second-order Theories and Automata on Infinite Trees.by Michael O. Rabin

✍ Scribed by Review by: Dirk Siefkes

Book ID: 124972893
Publisher: Association for Symbolic Logic
Year: 1972
Tongue: English
Weight: 185 KB
Volume: 37
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272788

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of Second-Order Theories an

Decidability of Second-Order Theories and Automata on Infinite Trees

✍ Michael O. Rabin 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 862 KB

Decidability and Definability in Second-

Decidability and Definability in Second-Order Theories.by Michael O. Rabin

✍ Review by: Dirk Siefkes 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 84 KB

Automata on Infinite Objects and Church'

Automata on Infinite Objects and Church's Problem.by Michael O. Rabin

✍ Review by: Dirk Siefkes 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 84 KB

Study of the Second Order Transitions an

Study of the Second Order Transitions and Acid–Base Properties of Polymers Adsorbed on Oxides by Using Inverse Gas Chromatography at Infinite Dilution: I. Theory and Methods

✍ Tayssir Hamieh; Mustapha Rezzaki; Jacques Schultz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 46 KB

The study of phenomena transitions in polymers is of vital importance in material sciences and more particularly when polymers are adsorbed on oxides. Inverse gas chromatography (IGC) at infinite dilution proved to be an excellent technique to determine not only the glass transitions, but also β-tra