1 I n t r o d u c t i o n Term rewriting is a powerful computat ional paradigm. On the one hand, it has the full power of Turing machines, because they can be formulated as rewrite systems, and on the other hand, i t lends itself to parallel execution, since different subterms of a term can be rewrit ten concurrently. A rewrite rule over a set of (first-order) terms is an ordered pair of terms,...

motor units (mus) reflect the function of the central nervous motor system. thus, the estimated mu number is a good option to investigate the functional movement disorder in the parkinson’s disease (pd). the purpose of this study was to compare the estimated mus number in the medial gastrocnemius (mg) muscle of the normal rats and those with the parkinsonism. the mg muscle of two age-matched gr...

    Motor units (MUs) reflect the function of the central nervous motor system. Thus, the estimated MU number is a good option to investigate the functional movement disorder in the Parkinson’s disease (PD). The purpose of this study was to compare the estimated MUs number in the medial gastrocnemius (MG) muscle of the normal rats and those with the Parkinsonism. The MG muscle of two age-matche...

Abstract C 36 mathvariant="normal">H mathvariant="normal">N 2 ${\mathrm{C}}_{36}{\mathrm{H}}_{36}{\mathrm{N}}_{2}$ O, orthorhombic, P 1 ${2}_{1}{2}_{1}{2}_{1}$ (no. 19), a = 11.849(2) Å, b 1...

Termination of rewriting [Der87,Zan03] is often proposed as a suitable theory for proving termination of programs which are executed by rewriting. Programming languages and systems whose operational principle is based on reduction (e.g., functional, algebraic, and equational programming languages as well as theorem provers based on rewriting techniques) need, however, to break down the non-dete...

In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: a r t i c l e i n f o a b s t r a c t The theory of functional dependencies is based on relations, i.e. sets of tuples. Over...

Abstract C 23 H 34 O 5 , orthorhombic, P 2 1 (no. 19), a = 11.1838(3) Å, b 11.7824(3) c 16.3160(5) V 2149.99(10) Å 3 Z 4, R g mathvariant="normal">t ${R}_{\mathrm{g}\mathrm{t}}$ ( F ) 0.0399, w mathvariant="nor...