Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand theorems for lattice-valued logics.
Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019 ; AIS: 0.455, rok: 2019
Způsob publikování: Omezený přístup
Web výsledku:
http://dx.doi.org/10.1016/j.tcs.2019.02.007DOI: https://doi.org/10.1016/j.tcs.2019.02.007
http://hdl.handle.net/11104/0293600