Sea water samples were collected from 32 stations in the southern part of the Persian Gulf and the Gulf of Oman during winter of 1987. Surface water of the Persian Gulf exhibited wide range and higher values of salinity (37.15-43.95, mean 40.02%) compared with lower values and narrow range (36.58-36.95, mean 36.74%) in the Gulf of Oman. Surface salinity did not reflect any significant relations...

This paper considers when one can invert general recursive operators which map a class of functions F to F . In this regard, we study four different notions of inversion. We additionally consider enumeration of operators which cover all general recursive operators which map F to F in the sense that for every general recursive operator Ψ mapping F to F , there is a general recursive operator in ...

Klaimullin, Melnikov and Ng [KMNa] have recently suggested a new systematic approach to algorithms in algebra which is intermediate between computationally feasible algebra [CR91, KNRS07] and abstract computable structure theory [AK00, EG00]. In this short survey we discuss some of the key results and ideas of this new topic [KMNa, KMNc, KMNb, Ala]. We also suggest several open problems.

Given a Πμ 2 formula of the modal μ calculus, it is decidable whether it is equivalent to a Σμ 2 formula.

ACKNOWLEDGEMENT: The work of t h e second a u t h o r was supported i n p a r t by NSF g r a n t MCS-830287G.