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 条

[31] PROCEEDINGS OF THE 13TH INTERNATIONAL-CONGRESS, UMIST, MANCHESTER, UK, 31 AUGUST 4 SEPTEMBER 1992 - PREFACE
KENWAY, PB
DUKE, PJ
LORIMER, GW
MULVEY, T
DRUMMOND, IW
LOVE, G
MICHETTE, AG
STEDMAN, M
INSTITUTE OF PHYSICS CONFERENCE SERIES, 1993, (130): : R5 - R8
[32] 7TH INTERNATIONAL WORKSHOP ON FISSION-TRACK THERMOCHRONOLOGY, PHILADELPHIA, USA, 13-17 JULY, 1992
OMAR, GI
GIEGENGACK, R
NUCLEAR TRACKS AND RADIATION MEASUREMENTS, 1993, 21 (04): : 455 - 456
[33] PROCEEDINGS OF THE 7TH INTERNATIONAL-CONFERENCE ON THE ORIGINS OF LIFE, 10-15 JULY 1983, MAINZ, FRG - PREFACE
FERRIS, JP
ORIGINS OF LIFE AND EVOLUTION OF THE BIOSPHERE, 1984, 14 (1-4): : 1 - 1
[34] APPLICATION AND THEORY OF PETRI NETS 1992 - 13TH INTERNATIONAL-CONFERENCE SHEFFIELD, UK, JUNE 22-26, 1992 PROCEEDINGS - PREFACE
JENSEN, K
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : U1 - U1
[35] Special Issue: Proceedings of the 13th Edition of the International Conference on the Applications of Density Functional Theory in Chemistry and Physics Preface
Adamo, Carlo
Chermette, Henry
Loffreda, David
INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY, 2010, 110 (12) : 2101 - 2101
[36] Proceedings of the 7th Workshop on Methods for Modalities (M4M'2011) and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS'2011) Preface
van Ditmarsch, Hans
Fernandez Duque, David
Goranko, Valentin
Jamroga, Wojtek
Ojeda-Aciego, Manuel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 1 - 2
[37] 7TH INTERNATIONAL WORKSHOP, WDAG-93 LAUSANNE, SWITZERLAND, SEPTEMBER 27-29, 1993 PROCEEDINGS - PREFACE
SCHIPER, A
DISTRIBUTED ALGORITHMS, 1993, 725 : R5 - R6
[38] 7TH INTERNATIONAL WORKSHOP ON FISSION-TRACK THERMOCHRONOLOGY, PHILADELPHIA, USA, 13-17 JULY 1992 - ABSTRACTS
不详
NUCLEAR TRACKS AND RADIATION MEASUREMENTS, 1993, 21 (04): : 583 - 630
[39] Linked Archives International Workshop, September 13th, 2021, part of the 25th International Conference on Theory and Practice of Digital Libraries (TPDL 2021)
CEUR Workshop Proceedings, 2021, 3019
[40] Special issue - Animal reproduction: Research and practice - Proceedings of the 13th international congress on animal reproduction, Sydney, Australia, 30 June 4 July, 1996 - Preface
Evans, G
ANIMAL REPRODUCTION SCIENCE, 1996, 42 (1-4) : R11 - R12

← 1 2 3 4 5 →