Period of time： 2010年6期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|34|6
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 34,issue 6
Menu
Finite presentability of strongly finite dilators
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.
Access to resources
Recommend
By Ilie Lucian,Plandowski Wojciech in (2010)
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.Computing the prefix of an automaton
By Béal Marie-Pierre,Carton Olivier in (2010)
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.Cutwidth of the
Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms
By Huchard M.,Dicky H.,Leblanc H. in (2010)
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.A Compositional Approach to Synchronize Two Dimensional Networks of Processors
By La Torre Salvatore,Napoli Margherita,Parente Mimmo in (2010)
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.Characteristic Formulae for Timed Automata
By Aceto Luca,Ingólfsdóttir Anna,Pedersen Mikkel Lykke,Poulsen Jan in (2010)
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.Codes générateurs minimaux de langages de mots bi-infinis
RAIRO - Theoretical Informatics and Applications,volume 34,issue 6 , Vol. 34, Iss. 6, 2010-03 , pp.