Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM′15)

被引：0
|
作者：
Asai, Kenichi [1 ]
Sagonas, Konstantinos [2 ,3 ]
机构：
[1] Ochanomizu Univ, Tokyo 112, Japan
[2] Uppsala Univ, Uppsala, Sweden
[3] NTUA, Athens, Greece
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2017年 / 137卷
关键词：
D O I：
10.1016/j.scico.2017.02.001
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [41] Introduction: special issue of selected papers from ACML 2015
    Holmes, Geoffrey
    Liu, Tie-Yan
    Li, Hang
    King, Irwin
    Sugiyama, Masashi
    Zhou, Zhi-Hua
    MACHINE LEARNING, 2017, 106 (04) : 459 - 461
  • [42] Preface: Selected revised papers from the LION 15 conference
    Ilias S. Kotsireas
    Panos M. Pardalos
    Dimitris E. Simos
    Annals of Mathematics and Artificial Intelligence, 2023, 91 : 107 - 108
  • [43] Preface: Selected revised papers from the LION 15 conference
    Kotsireas, Ilias S.
    Pardalos, Panos M.
    Simos, Dimitris E.
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (2-3) : 107 - 108
  • [44] Selected papers from Mathematics of Program Construction 2012 Preface
    Gibbons, Jeremy
    Nogueira, Pablo
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 85 : 101 - 101
  • [45] Selected Papers from the 15th Korea-Japan Symposium on Catalysis, 2015, Busan, Korea Preface
    Kim, Do Heui
    Kubota, Yoshihiro
    Cho, Sung June
    CATALYSIS TODAY, 2016, 265 : 1 - 1
  • [46] Special issue: Extended papers selected from KES-2006
    Liu, Honghai
    Howlett, Robert
    Gabrys, Bogdan
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2007, 11 (04) : 199 - 200
  • [47] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
    Jeremy Avigad
    Assia Mahboubi
    Journal of Automated Reasoning, 2020, 64 : 793 - 794
  • [48] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
    Avigad, Jeremy
    Mahboubi, Assia
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (05) : 793 - 794
  • [49] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
    Didier Galmiche
    Stephan Schulz
    Roberto Sebastiani
    Journal of Automated Reasoning, 2020, 64 : 1165 - 1167
  • [50] Selected and extended papers from the Symposium on PSE'97/ESCAPE'7
    Skogestad, S
    COMPUTERS & CHEMICAL ENGINEERING, 1999, 23 (4-5) : 449 - 449
12345