𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modularity of simple termination of term rewriting systems with shared constructors

✍ Scribed by Masahito Kurihara; Azuma Ohuchi


Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
640 KB
Volume
103
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Simple and Effective Catalytic System
✍ Kam-Piu Ho; Wing-Leung Wong; Kin-Ming Lam; Cheuk-Piu Lai; Tak Hang Chan; Kwok-Yi πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 493 KB πŸ‘ 2 views

## Abstract A simple catalytic system that uses commercially available manganese(II) perchlorate as the catalyst and peracetic acid as the oxidant is found to be very effective in the epoxidation of aliphatic terminal alkenes with high product selectivity at ambient temperature. Many terminal alken

ChemInform Abstract: A Simple and Effect
✍ Kam-Piu Ho; Wing-Leung Wong; Kin-Ming Lam; Cheuk-Piu Lai; Tak Hang Chan; Kwok-Yi πŸ“‚ Article πŸ“… 2009 πŸ› 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 200 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