Special issue: Type and set theoretical foundations of computation

被引：0
|
作者：
Kamareddine, F [1 ]
机构：
[1] Heriot Watt Univ, Dept Elect & Comp Engn, Edinburgh EH14 4AS, Midlothian, Scotland
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2001年 / 11卷 / 03期
关键词：
D O I：
10.1093/logcom/11.3.359
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：359 / 361
页数：3
相关论文
共 50 条
  • [1] Special Issue on Theoretical Foundations of Evolutionary Computation
    Lehre, Per Kristian
    Neumann, Aneta
    Qian, Chao
    THEORETICAL COMPUTER SCIENCE, 2023, 950
  • [2] Editorial for the Special Issue on Theoretical Foundations of Evolutionary Computation
    Neumann, Frank
    Doerr, Benjamin
    Lehre, Per Kristian
    Haddow, Pauline C.
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2014, 18 (05) : 625 - 627
  • [3] Guest Editorial Special Issue on Theoretical Foundations of Evolutionary Computation
    Oliveto, Pietro S.
    Auger, Anne
    Chicano, Francisco
    Fonseca, Carlos M.
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2020, 24 (06) : 993 - 994
  • [4] IEEE Transactions on Evolutionary Computation: Special Issue on Theoretical Foundations of Evolutionary Computation
    Oliveto, Pietro S.
    Auger, Anne
    Chicano, Francisco
    Fonseca, Carlos M.
    IEEE Transactions on Evolutionary Computation, 2018, 22 (04)
  • [5] A Special Issue on Foundations of Computational and Theoretical Nanoscience
    De Raedt, Hans
    Hess, Karl
    JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2011, 8 (06) : 887 - 888
  • [6] Special Issue on the Foundations of Software Science and Computation Structures
    Lara, Juan A.
    Aljawarneh, Shadi
    FOUNDATIONS OF SCIENCE, 2020, 25 (04) : 1003 - 1008
  • [7] Special Issue on the Foundations of Software Science and Computation Structures
    Juan A. Lara
    Shadi Aljawarneh
    Foundations of Science, 2020, 25 : 1003 - 1008
  • [8] Foundations of software science and computation structures - Preface for the Special Issue
    Gordon, AD
    THEORETICAL COMPUTER SCIENCE, 2005, 333 (1-2) : 1 - 1
  • [9] SPECIAL ISSUE ON MECHANICS, COMPUTATION AND THEIR MATH FOUNDATIONS. PART I
    Celledoni, Elena
    Munthe-Kaas, Hans Z.
    Owren, Brynjulf
    Zanna, Antonella
    JOURNAL OF COMPUTATIONAL DYNAMICS, 2024, 11 (01): : i - ii
  • [10] Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009
    Johnson, Jeremy R.
    Kaltofen, Erich
    Park, Hyungju
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (07) : 751 - 751
12345