23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Mexico August 16-19, 2016

被引：0

作者：

Vaananen, Jouko

de Queiroz, Ruy

Galindo, Mauricio Osorio

Cortes, Claudia Zepeda

Ramirez, Jose R. Arrazola

机构：

来源：

BULLETIN OF SYMBOLIC LOGIC | 2017年 / 23卷 / 02期

关键词：

D O I：

10.1017/bsl.2017.17

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：270 / 271

页数：2

共 11 条

[1] 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
Vaeaenaenen, Jouko
De Queiroz, Ruy
Galindo, Mauricio Osorio
Cortes, Claudia Zepeda
Ramirez, Jose R. Arrazola
[J]. LOGIC JOURNAL OF THE IGPL, 2017, 25 (02) : 253 - 272
[2] 23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016
Vaananen, Jouko
de Queiroz, Ruy J. G. B.
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (09) : 921 - 922
[3] 19TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2012) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC
Ong, Luke
Areces, Carlos
Figueira, Santiago
de Queiroz, Ruy
[J]. BULLETIN OF SYMBOLIC LOGIC, 2013, 19 (03) : 425 - 426
[4] 20TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2013) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Darmstadt, Germany August 20-23, 2013 Abstracts
Libkin, Leonid
Kohlenbach, Ulrich
de Queiroz, Ruy
[J]. BULLETIN OF SYMBOLIC LOGIC, 2014, 20 (02) : 266 - 267
[5] 28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5-8, 2021
不详
[J]. BULLETIN OF SYMBOLIC LOGIC, 2023, 29 (04) : 725 - 725
[6] 24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18-21, 2017
Kennedy, Juliette
Silva, Alexandra
De Queiroz, Ruy
Sadrzadeh, Mehrnoosh
[J]. BULLETIN OF SYMBOLIC LOGIC, 2018, 24 (03) : 386 - 387
[7] 21ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2014) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Valparaiso, Chile September 1-4, 2014 Abstracts
不详
[J]. BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 241 - 242
[8] HILBERT-BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2016 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gottingen, Germany July 24-30, 2016
Kahle, Reinhard
[J]. BULLETIN OF SYMBOLIC LOGIC, 2017, 23 (02) : 269 - 269
[9] WORKSHOP ON FOUNDATIONS OF MATHEMATICS: UNIVALENT FOUNDATIONS AND SET THEORY (FOMUS 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bielefeld, Germany July 18-23, 2016
Grabmayr, Balthasar
Kant, Deborah
Kuhne, Lukas
Sarikaya, Deniz
[J]. BULLETIN OF SYMBOLIC LOGIC, 2017, 23 (02) : 267 - 268
[10] 30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Sofia, Bulgaria August 6-17, 2018
Angelova, Galia
Osenova, Petya
[J]. BULLETIN OF SYMBOLIC LOGIC, 2019, 25 (01) : 128 - 128

← 1 2 →