1 Department of Pharmaceutical Sciences, Faculty of Pharmacy, the University of Jordan, Amman, Jordan. 2 Department of Pharmacology and Biomedical Sciences, Faculty of Pharmacy and Medical Sciences, Petra University, Amman, Jordan. 3 Department of Biopharmaceutics and Clinical Pharmacy, Faculty of Pharmacy, the University of Jordan, Amman, Jordan. 4 Department of Pharmaceutics and Pharmaceutica...

A new type of splicing is defined, namely the interchange of two fixed subwords, without moving the sequences situated after them. Idea of splicing grammar systems is introduced by Dassow and Mitrana, ([2]); in this paper only the derivation type is changed. The generative power is the same (are necessarily only two modules to generate all recursive enumerable languages). Two variants of deriva...

Jordan University of Science and Technology (Irbid, Jordan), Research Triangle Institute (North Carolina, USA) and Virgina Polytechnic Institute and State University (Virgina, USA) were granted an R21 planning grant funded by FDA, USA through an International Cooperative Biodiversity Group (ICBG) program to study the Hashemite Kingdom of Jordan’s flora and soil microorganism as a source of new ...

A new cucullanid nematode, Dichelyne mexicanus sp. n., is described from the intestine of three species of fishes, Agonostomus monticola (Bancroft) (Mugilidae, Perciformes) (type host), Ictalurus balsanus (Jordan et Snyder) (Ictaluridae, Siluriformes) and Cichlasoma beani (Jordan) (Cichlidae, Perciformes), from three rivers (La Maquina River, Veracruz; Chontalcoatlán River, Guerrero and Santiag...

Jordan University of Science and Technology (Irbid, Jordan), Research Triangle Institute (North Carolina, USA) and Virgina Polytechnic Institute and State University (Virgina, USA) were granted an R21 planning grant funded by FDA, USA through an International Cooperative Biodiversity Group (ICBG) program to study the Hashemite Kingdom of Jordan’s flora and soil microorganism as a source of new ...

In the papers [1, 2, 4–6, 8] the similarities and differences between systems of sequents and systems of natural deduction for some fragments of intuitionistic logic were presented. The main goal of almost all of these papers was to study the connection between cut-free derivations and normal derivations. It is a well-known property that the natural deduction image of a cut-free derivation is a...

Bounded rewriting for linear term rewriting systems has been defined in (I. Durand, G. Sénizergues, M. Sylvestre. Termination of linear bounded term rewriting systems. Proceedings of the 21st International Conference on Rewriting Techniques and Applications) as a restriction of the usual notion of rewriting. We extend here this notion to the whole class of left-linear term rewriting systems, an...