✦ LIBER ✦

Syntactic Type Soundness for HM(X)

✍ Scribed by Christian Skalka; François Pottier

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 732 KB
Volume: 75
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80779-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntactic Type Soundness for the Region

Syntactic Type Soundness for the Region Calculus

✍ Simon Helsen; Peter Thiemann 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 193 KB

An improved vehicle for towing a displac

An improved vehicle for towing a displacement type sound source for continuous seismic profiling

✍ E. W. Schiemer; J. R. Schubel 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 109 KB

A sounding rocket payload for X-ray astr

A sounding rocket payload for X-ray astronomy employing high-resolution microcalorimeters

✍ D McCammon; R Almy; S Deiker; J Morgenthaler; R.L Kelley; F.J Marshall; S.H Mose 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 331 KB

New method for solving differential equa

New method for solving differential equations of the type n(x)ddxn−1(x)ddx…1(x)dydx − y(x) = (x)

✍ A.V. Baranov 📂 Article 📅 1964 🏛 Elsevier Science ⚖ 487 KB

Evidence for an X-type neutral sheet pro

Evidence for an X-type neutral sheet producing chromospheric activity

✍ N. Seehafer; J. Staude 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 219 KB

MODELLING THE VIBRATIONAL CHARACTERISTIC

MODELLING THE VIBRATIONAL CHARACTERISTICS AND RADIATED SOUND POWER FOR A Y25-TYPE BOGIE AND WAGON

✍ N.S. FERGUSON 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 199 KB

A theoretical investigation has considered the vibrational characteristics of the bogie and wagon to quantify the noise freight wagons. This study presents the analysis of the bogie by "nite element methods (FEM) to cover the lower-frequency range. The wagon has been analyzed using a statistical ene