Modal embeddings and calling paradigms

autor
Espirito Santo, Jose
vastutusandmed
José Espírito Santo, Luís Pinto, and Tarmo Uustalu
allikas
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 18 ; 20 p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 131
konverentsi nimetus, aeg
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), 24-30 June 2019
konverentsi toimumispaik
Dortmund, Germany
kvartiil
Q2
kategooria (üld)
kategooria (alam)
ISSN
18688969
ISBN
978-395977107-8
märkused
Bibliogr.: 16 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Espirito Santo, J., Pinto, L., Uustalu, T. Modal embeddings and calling paradigms // 4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019. Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 18 ; 20 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 131). https://doi.org/10.4230/LIPIcs.FSCD.2019.18