✦ LIBER ✦

A Framework for Interpreting Traces of Functional Logic Computations

✍ Scribed by Bernd Braßel

Book ID: 108126787
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 330 KB
Volume: 177
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.01.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computational interpretation of truth

A computational interpretation of truth logic

✍ R. J. R. Back 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 882 KB

A logic-based framework for address inte

A logic-based framework for address interpretation and rectification

✍ Luis G. Occeña; Liang-Cheng Tang 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 927 KB

A framework to express variant and invar

A framework to express variant and invariant functional spaces for binary logic

✍ Jeffrey Zhi J. Zheng; Christian H. Zheng 📂 Article 📅 2010 🏛 SP Higher Education Press 🌐 English ⚖ 145 KB

A conceptual framework for interpretatio

A conceptual framework for interpretation of MMC fatigue

✍ Ramesh Talreja 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 809 KB

A previously developed conceptual framework for interpretation of fatigue of polymer matrix composites (PMCs) is revisited for the purpose of the interpretation of fatigue in metal matrix composites (MMCs). With appropriate modifications, the basic features in the mechanisms based fatigue life diagr

A framework for interpreting genome-wide

A framework for interpreting genome-wide association studies of psychiatric disorders

📂 Article 📅 2008 🏛 Nature Publishing Group 🌐 English ⚖ 212 KB

Pragmatics in the Measurement of Family

Pragmatics in the Measurement of Family Functioning: An Interpretive Framework for Methodology

✍ ANN SIGAFOOS; DAVID REISS; JESSICA RICH; ERROL DOUGLAS 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB