Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Oxford, England, 8th July 2018 Preface

被引：0

作者：

Niehren, Joachim ^{[1
]}

Sabel, David ^{[2
]}

机构：

[1] INRIA, Lille, France

[2] Goethe Univ, Frankfurt, Germany

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 289期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页数：2

共 50 条

[1] Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems Oxford, UK, 8th July 2018 Preface
Alves, Sandra
Pagani, Michele
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (293):
[2] Proceedings 4th Workshop on Formal Integrated Development Environment Oxford, England, 14 July 2018 Preface
Masci, Paolo
Monahan, Rosemary
Prevosto, Virgile
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (284):
[3] Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications Oxford, UK, 7-8 July 2018 Preface
Ehrhard, Thomas
Fernandez, Maribel
de Paiva, Valeria
de Falco, Lorenzo Tortora
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (292):
[4] Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems Stockholm, Sweden, 16th July 2012 Preface
Silva, Josep
Tiezzi, Francesco
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (98):
[5] Proceedings - 8th International Workshop on Applications and Services in Wireless Networks, ASWN 2008: Preface
[J]. Proc. - Int. Workshop Appl. Serv. Wirel. Netw., ASWN, 2008, (vii):
[6] Proceedings First Workshop on Synthesis Berkeley, California, USA, 7th and 8th July 2012 Preface
Peled, Doron
Schewe, Sven
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (84):
[7] Proceedings 7th International Workshop on Theorem proving components for Educational software Oxford, United Kingdom, 18 july 2018 Preface
Quaresma, Pedro
Neuper, Walther
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (290):
[8] PROCEEDINGS OF THE 8TH MOLECULAR-BEAM EPITAXY WORKSHOP - PREFACE
MILLER, JN
[J]. JOURNAL OF VACUUM SCIENCE & TECHNOLOGY B, 1988, 6 (02): : 592 - 592
[9] Preface for the Proceedings of the 8th International Building Physics Conference
Qin, Menghao
Rode, Carsten
[J]. Journal of Physics: Conference Series, 2021, 2069
[10] Preface for Proceedings of the 8th International Symposium on Surface Science
Ogino, Toshio
[J]. E-JOURNAL OF SURFACE SCIENCE AND NANOTECHNOLOGY, 2018, 16 : A3 - A3

← 1 2 3 4 5 →