首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
LICS 2024 Foreword
被引:0
|
作者
:
论文数:
引用数:
h-index:
机构:
Sobocinski, Pawel
[
1
]
Lago, Ugo Dal
论文数:
0
引用数:
0
h-index:
0
机构:
University of Bologna, 60028218, Italy
Tallinn University of Technology, 60068861, Estonia
Lago, Ugo Dal
[
2
]
Esparza, Javier
论文数:
0
引用数:
0
h-index:
0
机构:
Technical University of Munich, 60019722, Germany
Tallinn University of Technology, 60068861, Estonia
Esparza, Javier
[
3
]
机构
:
[1]
Tallinn University of Technology, 60068861, Estonia
[2]
University of Bologna, 60028218, Italy
[3]
Technical University of Munich, 60019722, Germany
来源
:
Proceedings - Symposium on Logic in Computer Science
|
2024年
关键词
:
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
相关论文
共 50 条
[1]
LICS 2019 Foreword
Bouyer, Patricia
论文数:
0
引用数:
0
h-index:
0
机构:
CNRS, France
CNRS, France
Bouyer, Patricia
Proceedings - Symposium on Logic in Computer Science,
2019,
2019-June
[2]
LICS 2023 Foreword
Walukiewicz, Igor
论文数:
0
引用数:
0
h-index:
0
Walukiewicz, Igor
Proceedings - Symposium on Logic in Computer Science,
2023,
2023-June
[3]
LICS 2021 Foreword
Libkin, Leonid
论文数:
0
引用数:
0
h-index:
0
Libkin, Leonid
Proceedings - Symposium on Logic in Computer Science,
2021,
2021-June
[4]
LICS 2020 Foreword
Kobayashi, Naoki
论文数:
0
引用数:
0
h-index:
0
机构:
Kobayashi, Naoki
Kobayashi, Naoki
Kobayashi, Naoki
Kobayashi, Naoki,
1600,
Association for Computing Machinery
[5]
LICS 2022 Foreword
Baier, Christel
论文数:
0
引用数:
0
h-index:
0
机构:
Tu Dresden, Germany
Tu Dresden, Germany
Baier, Christel
Proceedings - Symposium on Logic in Computer Science,
2022,
[6]
LICS 2015 Foreword
Palamidessi, Catuscia
论文数:
0
引用数:
0
h-index:
0
机构:
INRIA, France
INRIA, France
Palamidessi, Catuscia
Proceedings - Symposium on Logic in Computer Science,
2015,
2015-July
[7]
Special Issue: LICS 1995 - Editor's foreword
Kozen, D
论文数:
0
引用数:
0
h-index:
0
Kozen, D
INFORMATION AND COMPUTATION,
2000,
157
(1-2)
: 1
-
1
[8]
Foreword 2024
Jumar, Ulrich
论文数:
0
引用数:
0
h-index:
0
机构:
Ifak Inst Automat & Kommunikat eV, Werner Heisenberg Str 1, D-39106 Magdeburg, Germany
Ifak Inst Automat & Kommunikat eV, Werner Heisenberg Str 1, D-39106 Magdeburg, Germany
Jumar, Ulrich
AT-AUTOMATISIERUNGSTECHNIK,
2024,
72
(01)
: 1
-
2
[9]
ETS 2024 Foreword
Taouil, Mottaqiallah
论文数:
0
引用数:
0
h-index:
0
Taouil, Mottaqiallah
Kruseman, Bram
论文数:
0
引用数:
0
h-index:
0
Kruseman, Bram
Michael, Maria K.
论文数:
0
引用数:
0
h-index:
0
Michael, Maria K.
Jutman, Arthur
论文数:
0
引用数:
0
h-index:
0
Jutman, Arthur
Raik, Jaan
论文数:
0
引用数:
0
h-index:
0
Raik, Jaan
Reorda, Matteo Sonza
论文数:
0
引用数:
0
h-index:
0
Reorda, Matteo Sonza
Virazel, Arnaud
论文数:
0
引用数:
0
h-index:
0
Virazel, Arnaud
Proceedings of the European Test Workshop,
2024,
[10]
ASSETS 2024 Foreword
Flatla, David
论文数:
0
引用数:
0
h-index:
0
机构:
University of Guelph, Canada
University of Guelph, Canada
Flatla, David
论文数:
引用数:
h-index:
机构:
Hwang, Faustina
Brewer, Robin
论文数:
0
引用数:
0
h-index:
0
机构:
University of Michigan, United States
University of Guelph, Canada
Brewer, Robin
Guerreiro, Tiago
论文数:
0
引用数:
0
h-index:
0
机构:
University of Lisbon, Portugal
University of Guelph, Canada
Guerreiro, Tiago
ASSETS 2024 - Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility,
2024,
←
1
2
3
4
5
→