P21
- 期刊名称Nitric Oxide
- 作者Szczesny, Bartosz; Módis, Katalin; Yanagi, Kazunori; Trionnaire, Sophie Le; Wood, Mark E.; Whiteman, Matthew; Szabo, Csaba
- 卷第39卷
- 印刷ISSN1089-8603
- 文件大小38.33KB
- 发表时间2014-05
- DOI10.1016/j.niox.2014.03.071
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