Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study

By Jacobs Bart  

RAIRO - Theoretical Informatics and Applications, Vol. 35, Iss. 1, 2010-03 ,pp. : 31-59

Edp Sciences

Access to resources Recommend Favorite

An Evaluation of DNA-Based Methodologies for Subtyping Salmonella

By Burr Mark D.   Josephson Karen L.   Pepper Ian L.  

Critical Reviews in Environmental Science and Technology, Vol. 28, Iss. 3, 1998-07 ,pp. : 283-323

Taylor & Francis Ltd

Access to resources Recommend Favorite

Optimization of Pulse-Field Gel Electrophoresis for Subtyping of Klebsiella pneumoniae

By Han Hui   Zhou Haijian   Li Haishan   Gao Yuan   Lu Zhi   Hu Kongxin   Xu Baoliang  

International Journal of Environmental Research and Public Health, Vol. 10, Iss. 7, 2013-07 ,pp. : 2720-2731

MDPI

Access to resources Recommend Favorite

Feedback, trace and fixed-point semantics

By Katis P.   Sabadini Nicoletta   Walters Robert F.C.  

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 2, 2010-03 ,pp. : 181-194

Edp Sciences

Access to resources Recommend Favorite

Probabilistic operational semantics for the lambda calculus

By Lago Ugo Dal   Zorzi Margherita  

RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 3, 2012-08 ,pp. : 413-450

Edp Sciences

Access to resources Recommend Favorite