The μ-calculus alternation-depth hierarchy isstrict on binary trees

By Arnold André  

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 329-339

Edp Sciences

Access to resources Recommend Favorite

Some results on complexity of μ-calculus evaluation in the black-box model∗

By Parys Paweł  

RAIRO - Theoretical Informatics and Applications, Vol. 47, Iss. 1, 2013-02 ,pp. : 97-109

Edp Sciences

Access to resources Recommend Favorite

Global atmospheric cycle of mercury: a model study on the impact of oxidation mechanisms

By Simone F.   Gencarelli C.   Hedgecock I.   Pirrone N.  

Environmental Science and Pollution Research, Vol. 21, Iss. 6, 2014-03 ,pp. : 4110-4123

Springer Publishing Company

Access to resources Recommend Favorite

Global Latitudinal-Asymmetric Vegetation Growth Trends and Their Driving Mechanisms: 1982–2009

By Mao Jiafu   Shi Xiaoying   Thornton Peter E.   Hoffman Forrest M.   Zhu Zaichun   Myneni Ranga B.  

Remote Sensing, Vol. 5, Iss. 3, 2013-03 ,pp. : 1484-1497

MDPI

Access to resources Recommend Favorite

Mechanisms of JP-8 Jet Fuel Toxicity. I. Induction of Apoptosis in Rat Lung Epithelial Cells

By Stoica B.A.   Boulares A.H.   Rosenthal D.S.   Iyer S.   Hamilton I.D.G.   Smulson M.E.  

Toxicology and Applied Pharmacology, Vol. 171, Iss. 2, 2001-03 ,pp. : 94-106

Elsevier

Access to resources Recommend Favorite