Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Oxford, UK, 7th July 2018 Preface

被引：0

作者：

Blanqui, Frederic ^{[1
]}

Reis, Giselle ^{[2
]}

机构：

[1] Inria, Le Chesnay, France

[2] Carnegie Mellon Univ, Ar Rayyan, Qatar

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 274期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页数：2

共 50 条

[21] Special Issue: 13th International Workshop on Plasma Edge Theory in Fusion Devices PREFACE
Cohen, Ronald
Heikkinen, Jukka
CONTRIBUTIONS TO PLASMA PHYSICS, 2012, 52 (5-6) : 325 - 325
[22] Proceedings 7th International Workshop on Security Issues in Concurrency Bologna, Italy, 5th September 2009 Preface
Boreale, Michele
Kremer, Steve
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (07):
[23] Proceedings of the 7th International Symposium on Silicon Molecular Beam Epitaxy - Banff, Canada, July 13-17, 1997 - Preface
Baribeau, JM
THIN SOLID FILMS, 1998, 321 : VIII - VIII
[24] Preface proceedings of the 7th International Conference on Microelectronics and Plasma Technology (ICMAP 2018), Incheon, Korea
Lee, Nae-Eung
Chae, Hee Yeop
Chung, Chee Won
Kim, Hyun Woo
Kim, Hyoung Sub
Kim, Ji Hyun
Kim, Jiyoung
Lee, Taeyoon
Park, In-Sung
Pu, Yi Kang
Shi, Jianjun
Xu, Ping
THIN SOLID FILMS, 2019, 680 : 37 - 39
[25] Special Issue on The 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08) Preface
Canal, Carlos
Poizat, Pascal
Sirjani, Marjan
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (08) : 631 - 632
[26] Proceedings of the 7th International Workshop on Radiation Imaging Detectors - ESRF, Grenoble, France, July 4-7, 2005
Graafsma, H
Peyret, O
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2006, 563 (01): : VII - VII
[27] Security Protocols - 7th International Workshop Cambridge, UK, April 1999 - Proceedings - Transcript of concluding discussion
Roe, M
Anderson, R
Blaze, M
Morris, B
Stajano, F
Christianson, B
Gligor, V
Wheeler, D
SECURITY PROTOCOLS, 2000, 1796 : 224 - 227
[28] Smolt 2005: Proceedings of the 7th International Workshop on Salmonid Smoltification - Tono, Japan, July 2005 - Prologue and acknowledgements
Iwata, Munehico
AQUACULTURE, 2007, 273 (2-3) : 183 - 184
[29] Proceedings of the 7th International Conference on Ion Sources - Taormina, Italy 7-13 September 1997 - Preface
Ciavola, G
REVIEW OF SCIENTIFIC INSTRUMENTS, 1998, 69 (02): : U4 - U4
[30] Transportation and traffic theory - Proceedings of the 13th International Symposium on Transportation and Traffic Theory, Lyon, July 1996 - Lesort,JB
Allsop, R
TRANSPORTATION SCIENCE, 1997, 31 (01) : 95 - 96

← 1 2 3 4 5 →