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 条

[1] Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Edinburgh, UK, 14th July 2010 Preface
Crary, Karl
Miculan, Marino
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (34):
[2] Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2006) Preface
Momigliano, Alberto
Pientka, Brigitte
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (05) : 1 - 2
[3] Proceedings 7th International Workshop on Theorem proving components for Educational software Oxford, United Kingdom, 18 july 2018 Preface
Quaresma, Pedro
Neuper, Walther
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (290):
[4] Proceedings of the 13th Workshop on Dynamical Phenomena at Surfaces (Cambridge, UK, July 2008) PREFACE
Allison, W.
Alexandrowicz, G.
Ellis, J.
Hedgeland, H.
Jardine, A. P.
JOURNAL OF PHYSICS-CONDENSED MATTER, 2009, 21 (26)
[5] Proceedings Third International Workshop on Linearity Vienna, Austria, 13th July, 2014 Preface
不详
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (176):
[6] LFMTP'12 - Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice: Preface
Chlipala, A., 1600, Association for Computing Machinery, General Post Office, P.O. Box 30777, NY 10087-0777, United States
[7] EPTCS 214 Proceedings of the 7th International Workshop on Physics and Computation Manchester, UK, 14 July 2016 Preface
Abbott, Alastair A.
Horsman, Dominic C.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (214): : 1 - +
[8] Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice Berlin, Germany, 1 August 2015 Preface
Cervesato, Iliano
Chaudhuri, Kaustuv
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (185):
[9] Proceedings 7th Australian Communication Theory Workshop 2006: Preface
Proc. Aus. Com. Theory, 2006, (iii):
[10] Preface to the Proceedings of the 13th International Workshop on Matrices and Statistics, Bedlewo 2004
Elsner, Ludwig
Markiewicz, Augustyn
Szulc, Tomasz
LINEAR ALGEBRA AND ITS APPLICATIONS, 2006, 417 (01) : 1 - 2

← 1 2 3 4 5 →