共 50 条
- [33] Relational models for the nonassociative Lambek calculus RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS, 2001, 65 : 149 - 159
- [36] Formalization of proofs using relational calculus PROCEEDINGS OF 2016 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA 2016), 2016, : 527 - 531
- [37] Revisiting the Definition of the Relational Tuple Calculus NEW TRENDS IN DATABASES AND INFORMATION SYSTEMS (ADBIS 2015), 2015, 539 : 3 - 11
- [38] Tuple relational calculus for paraconsistent databases ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 409 - 416