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

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2013年 / 164卷 / 06期

关键词：

D O I：

10.1016/j.apal.2012.05.001

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：589 / 590

页数：2

共 50 条

[31] Special Issue Implementation and Application of Automata (CIAA 2010) PREFACE
Domaratzki, Michael
Salomaa, Kai
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (08) : 1759 - 1760
[32] Special Issue on Awards Papers from ICPR 2010 Preface
Laurendeau, Denis
Lovell, Brian C.
PATTERN RECOGNITION LETTERS, 2012, 33 (07) : 807 - 807
[33] Preface: special issue on NASA Formal Methods Symposium 2010
Munoz, Cesar A.
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (02) : 71 - 72
[34] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Giesl, Juergen
Haehnle, Reiner
JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 337 - 339
[35] Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Jürgen Giesl
Reiner Hähnle
Journal of Automated Reasoning, 2011, 47 : 337 - 339
[36] Special Issue Computation and Logic in the Real World: CiE 2007 Preface
Buss, Samuel R.
Cooper, S. Barry
Loewe, Benedikt
Sorbi, Andrea
ANNALS OF PURE AND APPLIED LOGIC, 2009, 160 (03) : 229 - 230
[37] Classical Logic and Computation (2006) - Preface
van Bakel, Steffen
Berardi, Stefano
ANNALS OF PURE AND APPLIED LOGIC, 2008, 153 (1-3) : 1 - 2
[38] Classical Logic and Computation (2008) Preface
van Bakel, Steffen
Berardi, Stefano
Berger, Ulrich
ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (11) : 1313 - 1314
[39] Special Issue: Logic Preface
Lucas, Billy Joe
INTERNATIONAL JOURNAL FOR PHILOSOPHY OF RELIGION, 2012, 72 (02) : 71 - 73
[40] Special Issue: Advanced Computational Engineering and Experimenting (ACEX 2010) Preface
Oechsner, Andreas
da Silva, Lucas F. M.
MATERIALWISSENSCHAFT UND WERKSTOFFTECHNIK, 2011, 42 (05) : 341 - 341

← 1 2 3 4 5 →