Počet záznamů: 1
A Computational Glimpse at the Leibniz and Frege Hierarchies
- 1.
SYSNO 0477047 Název A Computational Glimpse at the Leibniz and Frege Hierarchies Tvůrce(i) Moraschini, Tommaso (UIVT-O) SAI, RID Zdroj.dok. Annals of Pure and Applied Logic. Roč. 169, č. 1 (2018), s. 1-20. - : Elsevier Druh dok. Článek v odborném periodiku Grant GA13-14654S GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. NL Klíč.slova abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras Trvalý link http://hdl.handle.net/11104/0273441 Název souboru Staženo Velikost Komentář Verze Přístup a0477047.pdf 10 463.1 KB Vydavatelský postprint vyžádat
Počet záznamů: 1