出版地址:SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013
期刊简介
FORMAL ASPECTS OF COMPUTING《计算形式问题》(双月刊). This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.