Number of the records: 1
A Computational Glimpse at the Leibniz and Frege Hierarchies
- 1.
SYSNO 0477047 Title A Computational Glimpse at the Leibniz and Frege Hierarchies Author(s) Moraschini, Tommaso (UIVT-O) SAI, RID Source Title Annals of Pure and Applied Logic. Roč. 169, č. 1 (2018), s. 1-20. - : Elsevier Document Type Článek v odborném periodiku Grant GA13-14654S GA ČR - Czech Science Foundation (CSF) Institutional support UIVT-O - RVO:67985807 Language eng Country NL Keywords abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras Permanent Link http://hdl.handle.net/11104/0273441 File Download Size Commentary Version Access a0477047.pdf 10 463.1 KB Publisher’s postprint require
Number of the records: 1