𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A type-theoretical approach for ontologies: The case of roles

✍ Scribed by Patrick Barlatier and Richard Dapoigny

Book ID
121445568
Publisher
IOS Press
Year
2012
Tongue
English
Weight
466 KB
Volume
7
Category
Article
ISSN
1570-5838

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A theoretical study of Li as n-type dopa
A theoretical study of Li as n-type dopants for diamond: the role of aggregation
✍ Goss, J. P. ;Eyre, R. J. ;Briddon, P. R. πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 577 KB

## Abstract The formation of n‐type diamond has proved highly challenging, with the best species to date being the relatively deep phosphorus donor. Theory suggests that interstitial Li may be a superior donor species. In this paper we report the first principles modelling of Li as a donor, and rep