21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014 Preface

被引：0

作者：

Kohlenbach, Ulrich ^{[1
]}

Barcelo, Pablo ^{[2
]}

de Queiroz, Ruy J. G. B. ^{[3
]}

机构：

[1] Tech Univ Darmstadt, Dept Math, Darmstadt, Germany

[2] Univ Chile, Dept Comp Sci, Santiago, Chile

[3] Univ Fed Pernambuco, Ctr Informat, Garanhuns, Brazil

来源：

INFORMATION AND COMPUTATION | 2017年 / 255卷

关键词：

D O I：

10.1016/j.ic.2017.01.001

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：193 / 194

页数：2

共 50 条

[1] 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014) Abstracts
不详
[J]. LOGIC JOURNAL OF THE IGPL, 2015, 23 (05) : 848 - 859
[2] Logic, Language, Information and Computation (WoLLIC 2012) Preface
Ong, Luke
de Queiroz, Ruy J. G. B.
[J]. THEORETICAL COMPUTER SCIENCE, 2015, 603 : 1 - 2
[3] 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
[4] 26th Workshop on Logic, Language, Information and Computation - WoLLIC 2019 Preface
不详
[J]. INFORMATION AND COMPUTATION, 2022, 287
[5] 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)
Moss, Lawrence
Martinez, Maricarmen
Caicedo, Xavier
de Queiroz, Ruy
[J]. LOGIC JOURNAL OF THE IGPL, 2019, 27 (05) : 766 - 776
[6] 25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018
Lawrence Moss
Ruy de Queiroz
[J]. Journal of Logic, Language and Information, 2022, 31 (4) : 525 - 527
[7] 20th workshop on logic, language, information and computation - WoLLIC 2013
Libkin, Leonid
Kohlenbach, Ulrich
de Queiroz, Ruy J. G. B.
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 88 : 1 - 2
[8] 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021
Silva, Alexandra
Wassermann, Renata
De Queiroz, Ruy
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2024,
[9] 24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017
Juliette Kennedy
Ruy de Queiroz
[J]. Archive for Mathematical Logic, 2021, 60 : 525 - 527
[10] 25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018
Moss, Lawrence
de Queiroz, Ruy
[J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2022,

← 1 2 3 4 5 →