Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis Eindhoven, The Netherlands, 3rd April 2016 Preface

被引:0
|
作者
Gallagher, John [1 ,2 ]
Rummer, Philipp [3 ]
机构
[1] Roskilde Univ, Roskilde, Denmark
[2] IMDEA Software Inst, Madrid, Spain
[3] Uppsala Univ, Uppsala, Sweden
来源
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 219期
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页数:2
相关论文
共 50 条
  • [31] 3rd workshop on mobility and replication
    Andersen, B
    Baquero, C
    Juul, NC
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 307 - 308
  • [32] 3rd World Congress proceedings
    不详
    ATLA-ALTERNATIVES TO LABORATORY ANIMALS, 2000, 28 (02): : 238 - 238
  • [33] 3RD WORKSHOP ON SUBSECOND THERMOPHYSICS
    不详
    PTB-MITTEILUNGEN, 1993, 103 (01): : 80 - 81
  • [34] 3RD INTERNATIONAL CAFFEINE WORKSHOP
    不详
    NUTRITION REVIEWS, 1981, 39 (04) : 183 - 191
  • [35] PREFACE TO THE PROCEEDINGS TO THE 3RD NEW-ENGLAND BIOLABS WORKSHOP ON BIOLOGICAL DNA MODIFICATION
    BESTOR, TH
    BHAGWAT, AS
    BLUMENTHAL, RM
    BROOKS, JE
    MARINUS, MG
    RALEIGH, EA
    SZYBALSKI, W
    GENE, 1995, 157 (1-2) : R11 - R11
  • [36] Proceedings - 3rd International Workshop on Semantic Media Adaptation and Personalization, SMAP 2008: Preface
    Mylonas, Pivos
    Wallace, Manolis
    Angelides, Marios
    Proceedings - 3rd International Workshop on Semantic Media Adaptation and Personalization, SMAP 2008, 2008,
  • [37] Discussion of Sessions 3 and 4 at the 3rd Amino Acid Assessment Workshop (3rd AAAW)
    Cynober, L
    Young, VR
    JOURNAL OF NUTRITION, 2004, 134 (06): : 1630S - 1632S
  • [38] Proceedings of the Fourth International Workshop on Verification and Program Transformation Eindhoven, The Netherlands, 2nd April 2016 Preface
    Hamilton, Geoff
    Lisitsa, Alexei
    Nemytykh, Andrei P.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 1 - +
  • [39] General Discussion at the 3rd Amino Acid Assessment Workshop (3rd AAAW)l
    Cynober, L
    Young, VR
    JOURNAL OF NUTRITION, 2004, 134 (06): : 1667S - 1672S
  • [40] 23rd April: 3rd Sunday of Easter
    Cubie, John P.
    EXPOSITORY TIMES, 2023, 134 (06): : 270 - 272