Special Issue Classical Logic and Computation 2010 (CLAC 2010) Preface

被引:0
|
作者
van Bakel, Steffen [1 ]
Berardi, Stefano [2 ]
Berger, Ulrich [3 ]
机构
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2BZ, England
[2] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
[3] Swansea Univ, Dept Comp Sci, Swansea SA2 8PP, W Glam, Wales
关键词
D O I
10.1016/j.apal.2012.05.001
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
引用
收藏
页码:589 / 590
页数:2
相关论文
共 50 条