Zobrazeno 1 - 10
of 792
pro vyhledávání: '"Relation algebra"'
Autor:
GIVANT, STEVEN, ANDRÉKA, HAJNAL
Publikováno v:
The Journal of Symbolic Logic, 2018 Dec 01. 83(4), 1595-1609.
Externí odkaz:
https://www.jstor.org/stable/26600390
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:
Hodkinson, Ian, Venema, Yde
Publikováno v:
Transactions of the American Mathematical Society, 2005 Nov 01. 357(11), 4579-4605.
Externí odkaz:
https://www.jstor.org/stable/3845202
Publikováno v:
The Journal of Symbolic Logic, 2017 Sep 01. 82(3), 966-994.
Externí odkaz:
https://www.jstor.org/stable/26600269
Autor:
Hirsch, Robin, Hodkinson, Ian
Publikováno v:
Proceedings of the American Mathematical Society, 2002 Jun 01. 130(6), 1819-1831.
Externí odkaz:
https://www.jstor.org/stable/2699778
Autor:
Hirsch, Robin, Hodkinson, Ian
Publikováno v:
Transactions of the American Mathematical Society, 2001 Apr 01. 353(4), 1403-1425.
Externí odkaz:
https://www.jstor.org/stable/221862
Autor:
Harding, John
Publikováno v:
Transactions of the American Mathematical Society, 1996 May 01. 348(5), 1839-1862.
Externí odkaz:
https://www.jstor.org/stable/2155082
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.
Publikováno v:
The Computer Journal. 65:1891-1903
$\{log\}$ (‘setlog’) is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FS&RA). As such, it can be used as an automated theorem prover for this theory. $\{log\}$ is able to automatically prove a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bbecbd4cb7a25fddbfd5827043e6fff
https://doi.org/10.1093/comjnl/bxab030
https://doi.org/10.1093/comjnl/bxab030