Vytisknout
0524632 - MÚ 2021 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Rules with parameters in modal logic II.
Annals of Pure and Applied Logic. Roč. 171, č. 10 (2020), č. článku 102829. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: admissible rule * computational complexity * equational unification * modal logic
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102829
Trvalý link: http://hdl.handle.net/11104/0308973
Jeřábek, Emil
Rules with parameters in modal logic II.
Annals of Pure and Applied Logic. Roč. 171, č. 10 (2020), č. článku 102829. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: admissible rule * computational complexity * equational unification * modal logic
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102829
Trvalý link: http://hdl.handle.net/11104/0308973