Preface to the special issue for The Fifth Workshop on Formal Topology

被引：0

作者：

Coquand, Thierry ^{[1
]}

Maietti, Maria Emilia ^{[2
]}

Palmgren, Erik ^{[3
]}

机构：

[1] Univ Gothenburg, Dept Comp Sci & Elect Engn, Gothenburg, Sweden

[2] Univ Padua, Dept Math, Padua, Italy

[3] Stockholm Univ, Dept Math, Stockholm, Sweden

来源：

JOURNAL OF LOGIC AND ANALYSIS | 2019年 / 11卷

关键词：

D O I：

10.4115/jla.2019.11.FT0

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

页数：2

共 50 条

[1] Special Issue Third Workshop on Formal Topology Preface
Bauer, Andrej
Coquand, Thierry
Sambin, Giovanni
Schuster, Peter M.
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (02) : 85 - 86
[2] Special Issue: Fourth Workshop on Coverings, Selections and Games in Topology Preface
Di Maio, Giuseppe
Tsaban, Boaz
[J]. TOPOLOGY AND ITS APPLICATIONS, 2013, 160 (18) : 2233 - 2233
[3] Special issue: Fifth International Workshop on the Biology of Lactation in Farm Animals - Preface
Baldi, A
Stelwagen, K
[J]. LIVESTOCK PRODUCTION SCIENCE, 2001, 70 (1-2): : 1 - 2
[4] SPECIAL ISSUE - MINIMAX WORKSHOP - PREFACE
KUKLA, G
KARL, T
RICHES, M
[J]. ATMOSPHERIC RESEARCH, 1995, 37 (1-3) : 1 - 2
[5] Preface to the fifth special issue on practical asymptotics
Korobkin, A.
[J]. JOURNAL OF ENGINEERING MATHEMATICS, 2011, 69 (2-3) : 111 - 112
[6] Preface to the fifth special issue on practical asymptotics
A. Korobkin
[J]. Journal of Engineering Mathematics, 2011, 69 : 111 - 112
[7] Special Issue for the Fifth Microquasar Workshop 2004 - Foreword
Zhang, SN
[J]. CHINESE JOURNAL OF ASTRONOMY AND ASTROPHYSICS, 2005, 5
[8] Special issue: Fifth International Workshop on Oxide Electronics
Kawasaki, M
Eom, CB
Hosono, H
Ramesh, R
Triscone, JM
Venkatesan, T
Xiang, XD
[J]. JOURNAL OF ELECTROCERAMICS, 2000, 4 (2-3) : 263 - 263
[9] Special Issue: Formal Methods in Aerospace Preface
Bujorianu, Manuela
Fisher, Michael
Pasareanu, Corina
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 1 - 3
[10] Preface to the special issue of the Obergurgl workshop on ozone
Wieser, Gerhard
Tausz, Michael
[J]. ENVIRONMENTAL POLLUTION, 2007, 146 (03) : 577 - 577

← 1 2 3 4 5 →