Formalizing restriction categories
vastutusandmed
James Chapman, Tarmo Uustalu and Niccolò Veltri
allikas
kirjastus/väljaandja
Alma Mater Studiorum (Bologna)
ajakirja aastakäik number kuu
vol. 10, 1
ilmumisaasta
leheküljed
p. 1-36
ISSN
1972-5787
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
Chapman, J., Uustalu, T., Veltri, N. Formalizing restriction categories // Journal of formalized reasoning (2017) vol. 10, 1, p. 1-36.