出版地址:SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013
期刊简介
Acta Informatica《信息学报》(季刊). Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.