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 条

[21] PROCEEDINGS OF THE 3RD SYMPOSIUM ON COSMICAL GAS DYNAMICS - PREFACE
BURGERS, JM
THOMAS, RN
REVIEWS OF MODERN PHYSICS, 1958, 30 (03) : 908 - 911
[22] Preface: 3rd Workshop on Managed Complexity - ManComp 2018
Kirikova, Marite
Forbrig, Peter
Møller, Charles
CEUR Workshop Proceedings, 2018, 2218
[23] Preface - The 3rd workshop on ontology patterns - WOP 2012
Gangemi, Aldo
Blomqvist, Eva
Suárez-Figueroa, Mari Carmen
Hammar, Karl
CEUR Workshop Proceedings, 2012, 929
[24] The April 3rd Incident: Stories
Hong, Terry
LIBRARY JOURNAL, 2018, 143 (18) : 67 - 67
[25] PROCEEDINGS OF 3RD INFOTERM SYMPOSIUM
不详
INTERNATIONAL CLASSIFICATION, 1992, 19 (01): : 25 - 25
[26] 3rd Data Literacy Workshop
Leon-Urrutia, Manuel
Taibi, Davide
COMPANION PROCEEDINGS OF THE WEB CONFERENCE 2022, WWW 2022 COMPANION, 2022, : 400 - 401
[27] Overview of the 3rd DECOR Workshop
Andres, Frederic
Ghinea, Gheorghita
Grosky, William
Leite, Maria C. A.
2020 IEEE 36TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING WORKSHOPS (ICDEW 2020), 2020, : 162 - 164
[28] THE 3RD WORKSHOP ON PRIMARY HYPEROXALURIA
WATTS, RWE
NEPHROLOGY DIALYSIS TRANSPLANTATION, 1995, 10 : 1 - 2
[29] 3rd update workshop of the SPLF
Lorut, C
Meyer, G
Leroyer, C
Parent, F
REVUE DES MALADIES RESPIRATOIRES, 2005, 22 (01) : 169 - 173
[30] 3rd workshop on mobility and replication
Andersen, B
Baquero, C
Juul, NC
OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 307 - 308