Period of time： 2010年4期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|38|4
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 38,issue 4
Menu
By Ésik Zoltán,Walukiewicz Igor in (2010)
RAIRO - Theoretical Informatics and Applications,volume 38,issue 4 , Vol. 38, Iss. 4, 2010-03 , pp.
Access to resources
Recommend
Termination checking with types
RAIRO - Theoretical Informatics and Applications,volume 38,issue 4 , Vol. 38, Iss. 4, 2010-03 , pp.By Ghani Neil,Uustalu Tarmo in (2010)
RAIRO - Theoretical Informatics and Applications,volume 38,issue 4 , Vol. 38, Iss. 4, 2010-03 , pp.Comparing the succinctness of monadic query languages over finite trees
By Grohe Martin,Schweikardt Nicole in (2010)
RAIRO - Theoretical Informatics and Applications,volume 38,issue 4 , Vol. 38, Iss. 4, 2010-03 , pp.An abstract monadic semantics for value recursion
By Moggi Eugenio,Sabry Amr in (2010)
RAIRO - Theoretical Informatics and Applications,volume 38,issue 4 , Vol. 38, Iss. 4, 2010-03 , pp.