𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL

✍ Scribed by Nicole Rauch; Burkhart Wolff

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 226 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80808-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Calculation of three-center nuclear attr

Calculation of three-center nuclear attraction integral over Slater type orbitals in molecular coordinate system using Löwdinα-radial function and Guseinov’s two-center charge density expansion formulae

✍ B. A. Mamedov; E. Çopuroğlu 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 142 KB

Calculation of three-center nuclear attr

Calculation of three-center nuclear attraction integral over Slater type orbitals in molecular coordinate system using Löwdinα-radial function and Guseinov’s two-center charge density expansion formulae

✍ B. A. Mamedov; E. Çopuroğlu 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 69 KB