A modular property of term rewriting systems is one that holds for the direct sum of two disjoint term rewriting systems iff it holds for every involved term rewriting system. A term rewriting system is r-consistent iff there is no term that can be rewritten to two different variables. We show that the subclass of left-linear and r-consistent term rewriting systems has the modular termination p...

One of the key results in the eld of modularity for Term Rewriting Systems is the modularity of completeness for left linear TRSs established by Toyama Klop and Barendregt in TKB The proof however is quite long and involved In this paper a new proof of this basic result is given which is both short and easy employing the powerful technique of pile and delete already used with success in proving...

Kosinostatin, a quinocycline antibiotic was isolated from the culture broth of an actinomycete strain TP-A0468 along with isoquinocycline B. The producing strain was isolated from the seawater sample collected in Toyama Bay and identified as Micromonospora sp. based on the taxonomic study. Kosinostatin was obtained from the culture fluid by solvent extraction and ODS column chromatography. Kosi...

Kentaro Araki and Masataka Murakami Meteorological Research Institute, Tsukuba, Japan e-mail: [email protected]

Simvastatin prevents steroid-induced osteonecrosis by lowering serum lipid level and inducing hepatic CYP3A in a rabbit model Kentaro Iwakiri1,3, Yutaka Oda2, Yasunori Kaneshiro1, Hiroyoshi Iwaki1, Toshiaki Masada1, Akio Kobayashi1, Akira Asada2, Kunio Takaoka1 1Department of Orthopaedic Surgery, Osaka CIty University Graduate School of Medicine, Osaka, Japan; 2Department of Anesthesiology and ...

japonicum, and a Web Resource Database, Ljtrans DB Koichiro Aya*, Masaaki Kobayashi, Junmu Tanaka, Hajime Ohyanagi, Takayuki Suzuki, Kenji Yano, Tomoyuki Takano, Kentaro Yano and Makoto Matsuoka Bioscience and Biotechnology Center, Nagoya University, Nagoya, 464-8601 Japan School of Agriculture, Meiji University, Kawasaki, 214-8571 Japan CREST, JST, Japan Tsukuba Division, Mitsubishi Space Soft...

Henning Rehbein, Helge Müller-Ebhardt, Kentaro Somiya, Stefan L. Danilishin, Roman Schnabel, Karsten Danzmann, and Yanbei Chen Max-Planck-Institut für Gravitationsphysik (Albert-Einstein-Institut), Institut für Gravitationsphysik, Leibniz Universität Hannover, Callinstrasse 38, 30167 Hannover, Germany California Institute of Techology, Theoretical Astrophysics 130-33, Pasadena, California 91125...