𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the status of proving program properties in effective interpretations

✍ Scribed by Michał Grabowski

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
801 KB
Volume
120
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Status and health in Roman Dorset: The e
Status and health in Roman Dorset: The effect of status on risk of mortality in post-conquest populations
✍ Rebecca C. Redfern; Sharon N. DeWitte 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB 👁 2 views

## Abstract The Roman conquest of Britain was previously shown to have negatively impacted health, particularly for children, older adults, and men. We build upon this previous research by investigating the effect that status had on risks of mortality within the Roman Britain populations of Dorset.

The effects of different steam-steriliza
The effects of different steam-sterilization programs on material properties of poly(L-lactide)
✍ F. R. Rozema; R. R. M. Bos; G. Boering; J. A. A. M. van Asten; A. J. Nijenhuis; 📂 Article 📅 1991 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 592 KB

## Abstract As‐polymerized poly(L‐lactide) test rods were sterilized by seven different specially designed computer‐operated autoclaving programs. As a control, common hospital sterilization was performed. In all cases, the molecular weight decreased after sterilization. A short time high‐temperatu

The phenomenology of minority–majority s
The phenomenology of minority–majority status: Effects on innovation in argument generation
✍ Jared B. Kenworthy; Miles Hewstone; John M. Levine; Robin Martin; Hazel Willis 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB

## Abstract In three experiments, we manipulated participants' perceived numerical status and compared the originality and creativity of arguments generated by members of numerical minorities and majorities. Independent judges, blind to experimental conditions, rated participants' written arguments