Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Calculus of Relations"'
Publikováno v:
The Journal of Symbolic Logic, 2017 Sep 01. 82(3), 966-994.
Externí odkaz:
https://www.jstor.org/stable/26600269
Autor:
Dagnino, Francesco, Pasquali, Fabio
Taking a quotient roughly means changing the notion of equality on a given object, set or type. In a quantitative setting, equality naturally generalises to a distance, measuring how much elements are similar instead of just stating their equivalence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49f89b3624e3bd934d8f2d91c32ba9b4
Autor:
Wojciechowski, Eugeniusz
Publikováno v:
Roczniki Filozoficzne / Annals of Philosophy. 61(2):27-38
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=225007
Autor:
Nakamura, Yoshiki
Publikováno v:
Relational and Algebraic Methods in Computer Science
In this paper, we study the expressive power and succinctness of the positive calculus of relations. We show that (1) the calculus has the same expressive power as that of three-variable existential positive (first-order) logic in terms of binary rel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::fc941bf745f512933233b1c4e4dd9ba0
http://europepmc.org/articles/PMC7991210
http://europepmc.org/articles/PMC7991210
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ganeri, Jonardon, author
Publikováno v:
The Lost Age of Reason : Philosophy in Early Modern India 1450-1700, 2011.
Externí odkaz:
https://doi.org/10.1093/acprof:osobl/9780199218745.003.0015
Autor:
Dirk Leinders, Marc Gyssens, Dirk Van Gucht, George H. L. Fletcher, Stijn Vansummeren, Jan Van den Bussche
Publikováno v:
Journal of Logic and Computation, 25(3), 549-580. Oxford University Press
Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some of the standard operators, along with some derived operators such as se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::804cec2d9f9f4789bcefcc693224cc9c
http://hdl.handle.net/1942/21400
http://hdl.handle.net/1942/21400