Period of time： 2007年5期
Publisher： Springer Publishing Company
Founded in： 1971
Total resources： 23
ISSN： 0001-5903
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Acta Informatica,volume 44,issue 5
Menu
View selection for
By Afrati Foto,Chirkova Rada,Gergatsoulis Manolis,Pavlaki Vassia in (2007)
Acta Informatica,volume 44,issue 5 , Vol. 44, Iss. 5, 2007-09 , pp.
Access to resources
Recommend
Dual unbounded nondeterminacy, recursion, and fixpoints
By Morris Joseph,Tyrrell Malcolm in (2007)
Acta Informatica,volume 44,issue 5 , Vol. 44, Iss. 5, 2007-09 , pp.Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs
By Iwamoto Chuzo,Hatayama Naoki,Nakashiba Yoshiaki,Morita Kenichi,Imai Katsunobu in (2007)
Acta Informatica,volume 44,issue 5 , Vol. 44, Iss. 5, 2007-09 , pp.A general exhaustive generation algorithm for Gray structures
By Bernini Antonio,Grazzini Elisabetta,Pergola Elisa,Pinzani Renzo in (2007)
Acta Informatica,volume 44,issue 5 , Vol. 44, Iss. 5, 2007-09 , pp.