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 条

[41] 3RD LITTORAL ISSUE - PREFACE
不详
ZDRAVSTVENI VESTNIK, 1984, 53 (10): : 497 - 497
[42] THE 'ALCOHOLIC IN THE 3RD WEEK OF THE 3RD TREATMENT'
BERRYMAN, J
AMERICAN POETRY REVIEW, 1975, 4 (01): : 17 - 17
[43] Mitochondria, 3rd Edition Preface
Pon, Liza A.
Schon, Eric A.
MITOCHONDRIA, 3RD EDITION, 2020, 155 : XXIII - XXIV
[44] 3RD 3RD BLUES .1.
ALTMAYER, F
PLATING AND SURFACE FINISHING, 1990, 77 (08): : 10 - 11
[45] 3RD CONFERENCE ON LASER - PREFACE
GOLDMAN, L
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1976, 267 (JAN30) : 1 - 1
[46] Special edition of SUST on the 3rd International PASREG workshop - Preface
Salama, K
Cardwell, D
Murakami, M
Dogan, F
SUPERCONDUCTOR SCIENCE & TECHNOLOGY, 2002, 15 (05):
[47] Editorial Preface on the Proceedings of the 3rd ISE Satellite Student Regional Symposium on Electrochemistry in Ukraine (3rd ISE SSRSEU 2018)
Barsukov, Viacheslav
Khomenko, Volodymyr
Linyucheva, Olga
Borysenko, Julia
MATERIALS TODAY-PROCEEDINGS, 2019, 6 : 25 - 25
[48] 3rd JS']JSH single topic conference proceedings - Preface
Saibara, T
HEPATOLOGY RESEARCH, 2005, 33 (02) : 63 - 63
[49] Proceedings of the 3rd Japanese Annual Conference on Chronocardiology and Hypertension - Preface
Hayashi, H
Hayano, J
CLINICAL AND EXPERIMENTAL HYPERTENSION, 2003, 25 (03) : VII - VIII
[50] DOES 3RD AGE + 3RD-WORLD = 3RD CLASS
TOUT, K
COMMUNITY DEVELOPMENT JOURNAL, 1992, 27 (02) : 122 - 129

← 1 2 3 4 5 →