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 条
  • [1] Preface to the Special Issue for IWPI 2010
    Ohta, Mitsuhiro
    Matsukuma, Yosuke
    Ohmura, Naoto
    Ookawara, Shinichi
    Sotowa, Ken-Ichiro
    Yoshikawa, Shiro
    JOURNAL OF CHEMICAL ENGINEERING OF JAPAN, 2012, 45 (02) : 65 - 65
  • [2] Special Issue on SIBGRAPI 2010 Preface
    Esperanca, Claudio
    VISUAL COMPUTER, 2011, 27 (10): : 873 - 873
  • [3] Preface of ENGE 2010 Special Issue
    Kim, Young-Ho
    Park, Byungwoo
    Lee, Heon
    JOURNAL OF CERAMIC PROCESSING RESEARCH, 2011, 12
  • [4] Preface to special issue: EXPRESS 2010
    Froeschle, Sibylle
    Valencia, Frank D.
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (06) : 907 - 907
  • [5] Special Issue: GEOVET 2010 Preface
    Ward, Michael P.
    Perez, Andres M.
    PREVENTIVE VETERINARY MEDICINE, 2011, 102 (03) : 165 - 166
  • [6] Preface of ENGE 2010 special issue
    Kim, Young-Ho
    Park, Byungwoo
    Lee, Heon
    CURRENT APPLIED PHYSICS, 2011, 11 (04) : S1 - S1
  • [7] Special Issue for ESCO 2010 Preface
    Solin, Pavel
    COMMUNICATIONS IN COMPUTATIONAL PHYSICS, 2012, 12 (03) : I - II
  • [8] Preface to the special issue for IWPI 2010
    Muroran Institute of Technology, Japan
    不详
    不详
    不详
    不详
    J. Chem. Eng. Jpn., 2012, 2 (65):
  • [9] SPECIAL ISSUE GAMES, AUTOMATA, LOGIC, AND FORMAL VERIFICATION (GandALF 2010) PREFACE
    Montanari, Angelo
    Napoli, Margherita
    Parente, Mimmo
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2012, 23 (03) : 555 - 557
  • [10] Special issue Control 2010 Special Edition Preface
    Chase, J. Geoffrey
    Carson, Ewart
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 2013, 109 (02) : 113 - 115
12345