Výsledky vyhledávání
- 1.0504567 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Trvalý link: http://hdl.handle.net/11104/0296171 - 2.0421450 - FLÚ 2014 RIV NL eng J - Článek v odborném periodiku
Materna, Pavel
Equivalence of Problems (An Attempt at an Explication of Problem).
Axiomathes. Roč. 23, č. 4 (2013), s. 617-631. ISSN 1122-1151
Grant CEP: GA ČR(CZ) GAP401/10/0792
Institucionální podpora: RVO:67985955
Klíčová slova: problem * P. Tichý
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0227807