Works matching DE "RELATIONAL calculus"
Results: 20
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations.
- Published in:
- Journal of Logic & Computation, 2015, v. 25, n. 3, p. 549, doi. 10.1093/logcom/exu018
- By:
- Publication type:
- Article
A Functional Representation Model Facilitating Design Space Expansion.
- Published in:
- ISRN Mechanical Engineering, 2013, p. 1, doi. 10.1155/2013/686402
- By:
- Publication type:
- Article
The role of race track principles.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2006, v. 37, n. 1, p. 1, doi. 10.1080/00207390500137993
- By:
- Publication type:
- Article
A relational model for temporal logic.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 157, doi. 10.1093/jigpal/6.2.157
- By:
- Publication type:
- Article
An analytic solution to the alibi query in the space-time prisms model for moving object data.
- Published in:
- International Journal of Geographical Information Science, 2011, v. 25, n. 2, p. 293, doi. 10.1080/13658810902967397
- By:
- Publication type:
- Article
Relational similarity-based model of data part 1: foundations and query systems.
- Published in:
- International Journal of General Systems, 2017, v. 46, n. 7, p. 671, doi. 10.1080/03081079.2017.1357550
- By:
- Publication type:
- Article
Research on problem of temporal information storage and temporal relational calculus based on Hadoop.
- Published in:
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 5, p. 1390, doi. 10.3969/j.issn.1001-3695.2014.05.025
- By:
- Publication type:
- Article
On the Definition of Atanassov's Intuitionistic Fuzzy Subrings and Ideals.
- Published in:
- Asian Academy of Management Journal of Accounting & Finance, 2013, v. 9, n. 2, p. 401
- By:
- Publication type:
- Article
Evolutionary Fuzzy Relational Modeling for Fuzzy Time Series Forecasting.
- Published in:
- International Journal of Fuzzy Systems, 2015, v. 17, n. 3, p. 444, doi. 10.1007/s40815-015-0043-2
- By:
- Publication type:
- Article
Automated resolution of connector architectures using constraint solving (ARCAS method).
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 2, p. 843, doi. 10.1007/s10270-012-0274-8
- By:
- Publication type:
- Article
Algorithm for Solving Max-product Fuzzy Relational Equations.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2007, v. 11, n. 7, p. 593
- By:
- Publication type:
- Article
Equivalence and Relational Thinking: Opportunities for Professional Learning.
- Published in:
- Australian Primary Mathematics Classroom, 2013, v. 18, n. 2, p. 34
- By:
- Publication type:
- Article
PEIRCE AND SCHRÖDER ON THE AUFLÖSUNGSPROBLEM.
- Published in:
- Logic & Logical Philosophy, 2009, v. 18, n. 1, p. 15, doi. 10.12775/LLP.2009.002
- By:
- Publication type:
- Article
Ab initio generic structures which are superstable but not ω-stable.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 203, doi. 10.1007/s00153-011-0263-6
- By:
- Publication type:
- Article
RESOLUTION OF NONLINEAR OPTIMIZATION PROBLEMS SUBJECT TO BIPOLAR MAX-MIN FUZZY RELATION EQUATION CONSTRAINTS USING GENETIC ALGORITHM.
- Published in:
- Iranian Journal of Fuzzy Systems, 2018, v. 15, n. 2, p. 109
- By:
- Publication type:
- Article
A Revisit to Traces in Characterizing Properties of Fuzzy Relations.
- Published in:
- International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2014, v. 22, n. 6, p. 865, doi. 10.1142/S0218488514500469
- By:
- Publication type:
- Article
From fuzzy sets to shadowed sets: Interpretation and computing.
- Published in:
- International Journal of Intelligent Systems, 2009, v. 24, n. 1, p. 48, doi. 10.1002/int.20323
- By:
- Publication type:
- Article
Updating extended possibility-based fuzzy relational databases.
- Published in:
- International Journal of Intelligent Systems, 2007, v. 22, n. 3, p. 237, doi. 10.1002/int.20196
- By:
- Publication type:
- Article
A Logic of Type Relations and its Applications to Relational Databases.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 6, p. 789, doi. 10.1093/logcom/exl010
- By:
- Publication type:
- Article
Using Lightweight Formal Methods to Model Class and Object Diagrams.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 1, p. 411, doi. 10.2298/CSIS110210045V
- By:
- Publication type:
- Article