Algebra and Logic in Granularity

被引：0

作者：

Stell, John G. ^{[1
]}

机构：

[1] Univ Leeds, Leeds LS2 9JT, W Yorkshire, England

来源：

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023 | 2023年 / 13896卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：XIII / XIV

页数：2

共 50 条

[1] Granularity and Concurrent Separation Logic
Hayman, Jonathan
[J]. CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 219 - 234
[2] TASK GRANULARITY ANALYSIS IN LOGIC PROGRAMS
DEBRAY, SK
LIN, NW
HERMENEGILDO, M
[J]. SIGPLAN NOTICES, 1990, 25 (06): : 174 - 188
[3] BOOLEAN ALGEBRA OF LOGIC
HANF, W
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 81 (03) : 587 - 589
[4] Equations in the algebra of logic
Rudeanu, S
[J]. ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 2 - 8
[5] A PERSPECTIVE ON THE ALGEBRA OF LOGIC
Raftery, J. G.
[J]. QUAESTIONES MATHEMATICAE, 2011, 34 (03) : 275 - 325
[6] Algebra of logic programming
Seres, S
Spivey, M
Hoare, T
[J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 184 - 199
[7] THE ALGEBRA OF CONDITIONAL LOGIC
GUZMAN, F
SQUIER, CG
[J]. ALGEBRA UNIVERSALIS, 1990, 27 (01) : 88 - 110
[8] ON THE UNITY OF ALGEBRA AND LOGIC
LAMBEK, J
[J]. LECTURE NOTES IN MATHEMATICS, 1988, 1348 : 221 - 229
[9] UNIVERSAL LOGIC ALGEBRA
TISON, PL
[J]. SIAM REVIEW, 1971, 13 (02) : 284 - &
[10] Research on theory of set knowledge granularity logic based on the decision logic
Feng, Li
Yuan, Shujuan
Wang, Jing
Shi, Linan
[J]. MANUFACTURING PROCESS AND EQUIPMENT, PTS 1-4, 2013, 694-697 : 2274 - +