In [12], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modularity. The proof of this beautiful modularity result, technically based on slicing terms into an homogeneous cap and a so called alien, possibly heterogeneous substitution, was later substantially simplified in [5, 11]...

Powerful proof techniques, such as logical relation arguments, have been developed for establishing the strong normalisation property of term-rewriting systems. The first author used such a logical relation argument to establish strong normalising for a cut-elimination procedure in classical logic. He presented a rather complicated, but informal, proof establishing this property. The difficulti...

despite the body of research on textbook evaluation from the discourse analysis perspective, cohesive devices have rarely been analyzed in english for specific purposes (esp) textbooks. the acquisition and use of cohesive devices is inherent to naturalistic communication, including business interactions. hence, l2 learners of business english should be exposed to these devices through cohesion-...

The effect of monochloro and dichloro substitution into the ethyl portion on the pyrolysis of ethyl vinyl ether has been studied. This involved four possible monosubstituted derivatives and six disubstituted derivatives. For the monochloro derivatives, B- chloro substitution enhanced the rate constant while a- chloro substitution depressed it noticeably. For the dichloro derivatives, substi...

A series of charge-balanced Si4+-M1+,2+ (M = Mg2+, K+, Li+) substitution compositions with the chemical formulae SrFe12−2xSixMgxO19 (x 0, 0.05, 0.1, 0.2), Sr1−yFe12−ySiyKyO19 (y and SrFe12−z(Si0.6Li0.6)zO19 (z 0.2, 0.4, 0.6) were prepared using conventional ceramic processes. While sole doping Si x 0.1 (SrFe12−xSixO19 0.1)) causes a noticeable Fe2O3 phase formation, co-doping Si-Mg Si-Li allow ...

ADVERTISEMENT RETURN TO ISSUEPREVAdditions and Correc...Additions CorrectionsNEXTORIGINAL ARTICLEThis notice is a correctionCorrection to Biaxial Negative Thermal Expansion in an Organic Imidazolium Salt: Modulation of Property by Methyl SubstitutionStanzin ChuskitStanzin ChuskitMore Stanzin Chuskit, Tapaswini SethiTapaswini SethiMore Sethi, Priyasha HarshaPriyasha HarshaMore Harsha, Dinabandhu...

This paper introduces a novel method for theoretical determination of amino acid substitution groups. The method here involves making a binary matrix based on 48 qualitative physicochemical properties and calculating a substitution matrix based on this using dot products. Isolated groups with high scores are determined to be valid substitution groups and conserved groups are derived from these ...