Period of time： 2015年1期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|49|1
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 49,issue 1
Menu
One quantifier alternation in first-order logic with modular predicates
By Kufleitner Manfred,Walter Tobias in (2015)
RAIRO - Theoretical Informatics and Applications,volume 49,issue 1 , Vol. 49, Iss. 1, 2015-03 , pp.
Access to resources
Recommend
Exact location of the phase transition for random (1,2)-QSAT
By Creignou Nadia,Daudé Hervé,Egly Uwe,Rossignol Raphaël in (2015)
RAIRO - Theoretical Informatics and Applications,volume 49,issue 1 , Vol. 49, Iss. 1, 2015-03 , pp.New bounds on the edge-bandwidth of triangular grids
By Lin Lan,Lin Yixun in (2015)
RAIRO - Theoretical Informatics and Applications,volume 49,issue 1 , Vol. 49, Iss. 1, 2015-03 , pp.The finiteness problem for monoids of morphisms
RAIRO - Theoretical Informatics and Applications,volume 49,issue 1 , Vol. 49, Iss. 1, 2015-03 , pp.Further results on generalized conditional entropies
By Rastegin Alexey E. in (2015)
RAIRO - Theoretical Informatics and Applications,volume 49,issue 1 , Vol. 49, Iss. 1, 2015-03 , pp.