✦ LIBER ✦

A complexity analysis of functional interpretations

✍ Scribed by Mircea-Dan Hernest; Ulrich Kohlenbach

Book ID: 108281033
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 604 KB
Volume: 338
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.12.019

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Molecular Profiling of Angiogenic Marker

Molecular Profiling of Angiogenic Markers: A Step Towards Interpretive Analysis of a Complex Biological Function

✍ Kevin P. Claffey 📂 Article 📅 2002 🏛 American Society for Investigative Pathology 🌐 English ⚖ 206 KB

Analysis and Interpretation of Metal-Rad

Analysis and Interpretation of Metal-Radical Coupling in a Series of Square Planar Nickel Complexes: Correlated Ab Initio and Density Functional Investigation of [Ni(LISQ)2] (LISQ=3,5-di-tert-butyl-o-diiminobenzosemiquinonate(1-))

✍ Herebian, Diran; Wieghardt, Karl E.; Neese, Frank 📂 Article 📅 2003 🏛 American Chemical Society 🌐 English ⚖ 305 KB

Logical problems of functional interpret

Logical problems of functional interpretations

✍ Justus Diller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 135 KB

G odel interpreted Heyting arithmetic HA in a "logic-free" fragment T0 of his theory T of primitive recursive functionals of ÿnite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is di erent-in particular m

Variability in ECG computer interpretati

Variability in ECG computer interpretation: Analysis of individual complexes vs analysis of a representative complex

✍ Jan A. Kors; Gerard van Herpen; Jan H. van Bemmel 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1012 KB

On the complexity of arithmetical interp

On the complexity of arithmetical interpretations of modal formulae

✍ Lev D. Beklemishev 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 426 KB

Functional interpretations of linear and

Functional interpretations of linear and intuitionistic logic

✍ Paulo Oliva 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 282 KB