Sero-epidemiological findings of zoonotic infections in Maputo suburban residents
- 期刊名称International Journal of Infectious Diseases
- 作者Lesko, B.; Gudo, E. Samo; Vene, S.; Candido, S.I.; De Deus, N.; Pinto, F.; Pinto, G.; Manhica, I.; Falk, K.I.
- 卷第21卷
- 印刷ISSN1201-9712
- 文件大小79.95KB
- 发表时间2014-04
- DOI10.1016/j.ijid.2014.03.903
- 页码231-232
A semantic approach to interpolationAndrei Popescu; Traian Florin Şerbănuţă; Grigore Roşu · 2009
Language definitions as rewrite theoriesRusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore · Journal of Logical and Algebraic Methods in Programming · 2016
A rewriting logic approach to operational semanticsTraian Florin Şerbănuţă; Grigore Roşu; José Meseguer · 2009
The <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Primer (version 3.3)Şerbănuţă, Traian Florin; Arusoaie, Andrei; Lazar, David; Ellison, Chucky; Lucanu, Dorel; Roşu, Grigore · Electronic Notes in Theoretical Computer Science · 2014
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)Traian Florin Şerbănuţă; Grigore Roşu; José Meseguer · 2007
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013