Period of time: 2010年2期
Publisher: Edp Sciences
Founded in: 1999
Total resources: 83
E-ISSN: 1290-385x|36|2
ISSN: 0988-3754
Subject: X Environmental Science, Safety Science
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
RAIRO - Theoretical Informatics and Applications,volume 36,issue 2
Menu
A Fully Equational Proof of Parikh's Theorem
By Aceto Luca,Ésik Zoltán,Ingólfsdóttir Anna in (2010)
RAIRO - Theoretical Informatics and Applications,volume 36,issue 2 , Vol. 36, Iss. 2, 2010-03 , pp.Semantics of value recursion for Monadic Input/Output
By Erkök Levent,Launchbury John,Moran Andrew in (2010)
RAIRO - Theoretical Informatics and Applications,volume 36,issue 2 , Vol. 36, Iss. 2, 2010-03 , pp.Feedback, trace and fixed-point semantics
By Katis P.,Sabadini Nicoletta,Walters Robert F.C. in (2010)
RAIRO - Theoretical Informatics and Applications,volume 36,issue 2 , Vol. 36, Iss. 2, 2010-03 , pp.
By Santocanale Luigi in (2010)
RAIRO - Theoretical Informatics and Applications,volume 36,issue 2 , Vol. 36, Iss. 2, 2010-03 , pp.