Period of time： 2010年3期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|39|3
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 39,issue 3
Menu
Access to resources
Recommend
Denotational aspects of untyped normalization by evaluation
By Filinski Andrzej,Rohde Henning Korsholm in (2010)
RAIRO - Theoretical Informatics and Applications,volume 39,issue 3 , Vol. 39, Iss. 3, 2010-03 , pp.Distance desert automata and the star height problem
RAIRO - Theoretical Informatics and Applications,volume 39,issue 3 , Vol. 39, Iss. 3, 2010-03 , pp.Adhesive and quasiadhesive categories
By Lack Stephen,Sobociński Paweł in (2010)
RAIRO - Theoretical Informatics and Applications,volume 39,issue 3 , Vol. 39, Iss. 3, 2010-03 , pp.Bisimulation on speed: Lower time bounds
By Lüttgen Gerald,Vogler Walter in (2010)
RAIRO - Theoretical Informatics and Applications,volume 39,issue 3 , Vol. 39, Iss. 3, 2010-03 , pp.