✦ LIBER ✦

Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

✍ Scribed by Büchi J. R., Siefkes D.

Book ID: 127447286
Publisher: Springer
Year: 1973
Tongue: English
Weight: 1 MB
Series: Lecture Notes in Mathematics, 328
Category: Library
ISBN-13: 9780387063454

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability in the Monadic Second-Order

Definability in the Monadic Second-Order Theory of Successor

✍ J. Richard Büchi and Lawrence H. Landweber 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 538 KB

An axiom system for the weak monadic sec

An axiom system for the weak monadic second order theory of two successors

✍ Dirk Siefkes 📂 Article 📅 1978 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 771 KB

Simulation of All-Order Density-Function

Simulation of All-Order Density-Functional Perturbation Theory, Using the Second Order and the Strong-Correlation Limit

✍ Seidl, Michael; Perdew, John P.; Kurth, Stefan 📂 Article 📅 2000 🏛 The American Physical Society 🌐 English ⚖ 74 KB

The equilibrium geometry of C60 as predi

The equilibrium geometry of C60 as predicted by second-order (MP2) perturbation theory

✍ Macro Häser; Jan Almlöf; Gustavo E. Scuseria 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 345 KB

The internal rotational barrier of biphe

The internal rotational barrier of biphenyl studied with multiconfigurational second-order perturbation theory (CASPT2)

✍ Mercedes Rubio, Manuela Merchán, Enrique Ortí 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 804 KB

FNO2: improving calculated structures at

FNO2: improving calculated structures at the second-order Møller—Plesset level of theory

✍ T.S. Dibble; J.S. Francisco 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 383 KB

In a recent study of FNOs, it was found that the second-order Meller-Plesset (MP2) level of theory signitkantly overestimated the N-F bond length, the geometrical parameter most sensitive to the effects ofbasis set and electron correlation. We obtain more accurate structures using Pople split-valenc