Period of time: 2007年2期
Publisher: Edp Sciences
Founded in: 1999
Total resources: 83
E-ISSN: 1290-385x|41|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 41,issue 2
Menu
Returning and non-returning parallel communicating finite automata are equivalent
By Choudhary Ashish,Krithivasan Kamala,Mitrana Victor in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 2 , Vol. 41, Iss. 2, 2007-07 , pp.An algorithm for deciding if a polyomino tiles the plane
By Gambini Ian,Vuillon Laurent in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 2 , Vol. 41, Iss. 2, 2007-07 , pp.Sequential monotonicity for restarting automata
By Jurdziński Tomasz,Otto Friedrich in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 2 , Vol. 41, Iss. 2, 2007-07 , pp.Object oriented institutions to specify symbolic computationsystems
By Domínguez César,Lambán Laureano,Rubio Julio in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 2 , Vol. 41, Iss. 2, 2007-07 , pp.A periodicity property of iterated morphisms
RAIRO - Theoretical Informatics and Applications,volume 41,issue 2 , Vol. 41, Iss. 2, 2007-07 , pp.Deciding inclusion of set constants over infinite non-strict data structures
By Schmidt-Schauss Manfred,Sabel David,Schütz Marko in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 2 , Vol. 41, Iss. 2, 2007-07 , pp.