From universal logic to computer science, and back

被引：0

作者：

Diaconescu, Răzvan ^{[1
]}

机构：

[1] Simion Stoilow Institute of Mathematics of the Romanian Academy, Romania

来源：

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：1 / 16

共 50 条

[1] From Universal Logic to Computer Science, and Back
Diaconescu, Razvan
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 1 - 16
[2] Back to the future: Explicit logic for computer science
Artemov, S
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 43 - 43
[3] From Computer Science to Biology and Back
Kari, Lila
THEORETICAL COMPUTER SCIENCE, 2015, 608 : 1 - 1
[4] From logic to theoretical computer science - An update
Trakhtenbrot, Boris A.
PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 1 - 38
[5] LOGIC IN COMPUTER SCIENCE
Serna, Edgar M.
REVISTA EDUCACION EN INGENIERIA, 2013, 8 (15): : 62 - 68
[6] From Computer Science to Biology and Back Preface
Merelli, Emanuela
Petre, Ion
THEORETICAL COMPUTER SCIENCE, 2015, 608 : 2 - 3
[7] A TWIST OF LOGIC - FROM MATHEMATICS TO COMPUTER-SCIENCE
ARRIETAURTIZBEREA, A
ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1995, 151 (596) : 87 - 106
[8] THE LOGIC IN COMPUTER SCIENCE COLUMN
Gurevich, Yuri
Blass, Andreas
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2024, (143): : 39 - 55
[9] LINEAR LOGIC IN COMPUTER SCIENCE
Steingartner, William
Polakova, Andrea
Praznak, Peter
Novitzka, Valerie
JOURNAL OF APPLIED MATHEMATICS AND COMPUTATIONAL MECHANICS, 2015, 14 (01) : 91 - 100
[10] The logic in computer science column
Gurevich, Yuri
Bulletin of the European Association for Theoretical Computer Science, 2014, (113):