COMPUTATIONAL AND CONCURRENCY ASPECTS OF LINEAR LOGIC

被引：0

|

作者：

KANOVICH, MI

机构：

来源：

INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷

关键词：

CONCURRENT PROGRAMMING; COMPLEXITY CLASSES; MATHEMATICAL LOGIC;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：336 / 341

页数：6

相关论文

共 50 条

[1] On Linear Logic Planning and Concurrency
Kahramanogullari, Ozan
[J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2008, 5196 : 250 - 262
[2] On linear logic planning and concurrency
Kahramanogullari, Ozan
[J]. INFORMATION AND COMPUTATION, 2009, 207 (11) : 1229 - 1258
[3] COMPUTATIONAL INTERPRETATIONS OF LINEAR LOGIC
ABRAMSKY, S
[J]. THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 3 - 57
[4] Computational aspects of satisfiability in probability logic
Kuyper, Rutger
[J]. MATHEMATICAL LOGIC QUARTERLY, 2014, 60 (06) : 444 - 470
[5] Computational interpretations of classical linear logic
Oliva, Paulo
[J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, PROCEEDINGS, 2007, 4576 : 285 - +
[6] A Logic for True Concurrency
Baldan, Paolo
Crafa, Silvia
[J]. JOURNAL OF THE ACM, 2014, 61 (04)
[7] A Logic for True Concurrency
Baldan, Paolo
Crafa, Silvia
[J]. CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 147 - 161
[8] COMPUTATIONAL ASPECTS OF 3-VALUED LOGIC
SCHMITT, PH
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 190 - 198
[9] ANALYTICAL ASPECTS OF COMPUTATIONAL LINEAR ALGEBRA
KALABA, R
RASAKHOO, N
[J]. APPLIED MATHEMATICS AND COMPUTATION, 1981, 8 (02) : 83 - 109
[10] Context semantics, linear logic and computational complexity
Lago, Ugo Dal
[J]. 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 169 - 178

← 1 2 3 4 5 →