Relational algebraic framework for VHDL models management

被引：0

|

作者：

Korea Maritime Univ, Pusan, Korea, Republic of ^{[1
]}

机构：

来源：

Trans Soc Comput Simul | / 2卷 / 43-55期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] ALGEBRAIC OPERATIONS ON ENCRYPTED RELATIONAL DATABASES
WU, TC
YEH, YS
CHANG, CC
INFORMATION SYSTEMS, 1993, 18 (01) : 55 - 62
[22] Relational and algebraic methods in computer science
de Swart, Harrie
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 623 - 624
[23] Relational representations of algebraic lattices and their applications
Luo, Shuzhen
Xu, Xiaoquan
OPEN MATHEMATICS, 2022, 20 (01): : 291 - 304
[24] A RELATIONAL ALGEBRAIC APPROACH TO PROTOCOL VERIFICATION
LEE, TT
LAI, MY
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 184 - 193
[25] Relational and algebraic methods in computer science
Kahl, Wolfram
Griffin, Timothy G.
Hoefner, Peter
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (03) : 283 - 284
[26] Relational and algebraic methods in computer science
Hofner, Peter
Pous, Damien
Struth, Georg
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 106 : 198 - 199
[27] GENERALIZED DIVISION FOR RELATIONAL ALGEBRAIC LANGUAGE
DEMOLOMBE, R
INFORMATION PROCESSING LETTERS, 1982, 14 (04) : 174 - 178
[28] Algebraic equivalences of nested relational operators
Liu, HC
Yu, JX
INFORMATION SYSTEMS, 2005, 30 (03) : 167 - 204
[29] Relational and algebraic methods in computer science
Hofner, Peter
Jipsen, Peter
Kahl, Wolfram
Mueller, Martin Eric
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) : 447 - 448
[30] AN ALGEBRAIC-THEORY OF RELATIONAL DATABASES
LEE, TT
BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (10): : 3159 - 3204

← 1 2 3 4 5 →