𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Abstract Formalization of Correct Schemas for Program Synthesis

✍ Scribed by Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
475 KB
Volume
30
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

ChemInform Abstract: An Automated Synthe
ChemInform Abstract: An Automated Synthesis Program for Drug Discovery
✍ James Harness πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons βš– 23 KB πŸ‘ 1 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a β€œFull Text” option. The original article is trackable v

ChemInform Abstract: An Enantiospecific
ChemInform Abstract: An Enantiospecific Formal Total Synthesis of (-)-Aplysin and (-)-Debromoaplysin.
✍ A. Srikrishna; N. Chandrasekhar Babu πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons βš– 29 KB πŸ‘ 2 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a β€œFull Text” option. The original article is trackable v