共 50 条
- [2] Formal Equivalence Classes Model of Fuzzy Relational Databases Using Relational Calculus 2017 1ST INTERNATIONAL CONFERENCE ON APPLIED COMPUTER AND COMMUNICATION TECHNOLOGIES (COMCOM), 2017, : 55 - 60
- [3] A Relational Model of a Parallel and Non-deterministic λ-Calculus LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 107 - 121
- [4] The Relational Machine Calculus PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
- [5] Rough Relational Calculus ADVANCING KNOWLEDGE DISCOVERY AND DATA MINING TECHNOLOGIES, PROCEEDINGS, 2009, : 5 - 9
- [7] Semantics of a Relational λ-Calculus THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, 2020, 12545 : 242 - 261
- [8] Quantitative semantics of the lambda calculus: Some generalisations of the relational model Ong, C.-H. Luke, 1600, Institute of Electrical and Electronics Engineers Inc., United States (00):
- [9] Quantitative Semantics of the Lambda Calculus: Some Generalisations of the Relational Model 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
- [10] Fuzzy relational algebra and fuzzy relational calculus Xiyou Jinshu Cailiao Yu Gongcheng/Rare Metal Materials and Engineering, 27 (01): : 1 - 6