Period of time： 2012年2期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|46|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 46,issue 2
Menu
Foreword ICTCS 2010 special issue
RAIRO - Theoretical Informatics and Applications,volume 46,issue 2 , Vol. 46, Iss. 2, 2012-04 , pp.
Access to resources
Recommend
Formal Methods to Improve Public Administration Business Processes
By Polini Andrea,Polzonetti Andrea,Re Barbara in (2012)
RAIRO - Theoretical Informatics and Applications,volume 46,issue 2 , Vol. 46, Iss. 2, 2012-04 , pp.Equivalences and Congruences on Infinite Conway Games
By Honsell Furio,Lenisa Marina,Redamalla Rekha in (2012)
RAIRO - Theoretical Informatics and Applications,volume 46,issue 2 , Vol. 46, Iss. 2, 2012-04 , pp.A graphical representation of relational formulae with complementation
By Cantone Domenico,Formisano Andrea,Asmundo Marianna Nicolosi,Omodeo Eugenio Giovanni in (2012)
RAIRO - Theoretical Informatics and Applications,volume 46,issue 2 , Vol. 46, Iss. 2, 2012-04 , pp.Easy lambda-terms are not always simple
By Carraro Alberto,Salibra Antonino in (2012)
RAIRO - Theoretical Informatics and Applications,volume 46,issue 2 , Vol. 46, Iss. 2, 2012-04 , pp.On the size of transducers for bidirectional decoding of prefix codes
By Giambruno Laura,Mantaci Sabrina in (2012)
RAIRO - Theoretical Informatics and Applications,volume 46,issue 2 , Vol. 46, Iss. 2, 2012-04 , pp.