首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Logical foundations of computer science - Preface
被引:0
|
作者
:
Adian, SI
论文数:
0
引用数:
0
h-index:
0
Adian, SI
机构
:
来源
:
THEORETICAL COMPUTER SCIENCE
|
1999年
/ 224卷
/ 1-2期
关键词
:
D O I
:
10.1016/S0304-3975(98)00303-X
中图分类号
:
TP301 [理论、方法];
学科分类号
:
081202 ;
摘要
:
引用
收藏
页码:1 / 1
页数:1
相关论文
共 50 条
[1]
Special Issue The Symposium on Logical Foundations of Computer Science 2009 Preface
Artemov, Sergei
论文数:
0
引用数:
0
h-index:
0
机构:
CUNY, Grad Ctr, New York, NY 10016 USA
CUNY, Grad Ctr, New York, NY 10016 USA
Artemov, Sergei
Nerode, Anil
论文数:
0
引用数:
0
h-index:
0
机构:
Cornell Univ, Ithaca, NY 14853 USA
CUNY, Grad Ctr, New York, NY 10016 USA
Nerode, Anil
ANNALS OF PURE AND APPLIED LOGIC,
2012,
163
(07)
: 743
-
744
[2]
Special Issue on Logical Foundations of Computer Science
Artemov, Sergei
论文数:
0
引用数:
0
h-index:
0
Artemov, Sergei
Nerode, Anil
论文数:
0
引用数:
0
h-index:
0
Nerode, Anil
JOURNAL OF LOGIC AND COMPUTATION,
2020,
30
(01)
: 1
-
1
[3]
Mathematical foundations of computer science - Preface
Ruzicka, P
论文数:
0
引用数:
0
h-index:
0
Ruzicka, P
THEORETICAL COMPUTER SCIENCE,
2002,
286
(01)
: 1
-
1
[4]
Logicism renewed: Logical foundations for mathematics and computer science
论文数:
引用数:
h-index:
机构:
Kamareddine, Fairouz
HISTORY AND PHILOSOPHY OF LOGIC,
2008,
29
(03)
: 281
-
287
[5]
Mathematical Foundations of Computer Science 2004 -: Preface
Koubek, V
论文数:
0
引用数:
0
h-index:
0
机构:
Charles Univ, Inst Theoret Sci, Fac Math & Phys, CR-11800 Prague, Czech Republic
Charles Univ, Inst Theoret Sci, Fac Math & Phys, CR-11800 Prague, Czech Republic
Koubek, V
Kratochvíl, J
论文数:
0
引用数:
0
h-index:
0
机构:
Charles Univ, Inst Theoret Sci, Fac Math & Phys, CR-11800 Prague, Czech Republic
Charles Univ, Inst Theoret Sci, Fac Math & Phys, CR-11800 Prague, Czech Republic
Kratochvíl, J
THEORETICAL COMPUTER SCIENCE,
2005,
345
(2-3)
: 171
-
172
[6]
SYMPOSIUM - MATHEMATICAL FOUNDATIONS OF COMPUTER-SCIENCE - PREFACE
TIURYN, J
论文数:
0
引用数:
0
h-index:
0
TIURYN, J
INFORMATION AND CONTROL,
1985,
67
(1-3):
: 1
-
1
[7]
Mathematical Foundations of Computer Science (MFCS 2010) Preface
Hlineny, Petr
论文数:
0
引用数:
0
h-index:
0
Hlineny, Petr
Kucera, Antonin
论文数:
0
引用数:
0
h-index:
0
Kucera, Antonin
THEORETICAL COMPUTER SCIENCE,
2012,
417
: 1
-
1
[8]
Papers in honor of the symposium on logical foundations of computer science, ''Logic at St Petersburg''
Matiyasevich, Y
论文数:
0
引用数:
0
h-index:
0
Matiyasevich, Y
Nerode, A
论文数:
0
引用数:
0
h-index:
0
Nerode, A
ANNALS OF PURE AND APPLIED LOGIC,
1996,
78
(1-3)
: 1
-
1
[9]
LOGICAL-FOUNDATIONS OF UNITY OF SCIENCE
CARNAP, R
论文数:
0
引用数:
0
h-index:
0
CARNAP, R
ROMANTISME,
1978,
8
(21-2)
: 79
-
88
[10]
Special Section on Foundations of Computer Science - Foundations of Computer Science and their New Trends -
论文数:
引用数:
h-index:
机构:
Kawachi, Akinori
Kawahara, Jun
论文数:
0
引用数:
0
h-index:
0
机构:
Kyoto Univ, Kyoto, Japan
Mie Univ, Tsu, Japan
Kawahara, Jun
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,
2024,
E107D
(03)
: 277
-
277
←
1
2
3
4
5
→