Two set-based implementations of quotients in type theory
autor
Veltri, Niccolò
vastutusandmed
Niccolò Veltri
allikas
14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 2015
ilmumiskoht
Aachen
kirjastus/väljaandja
CEUR-WS
ilmumisaasta
2015
leheküljed
p. 194-205
seeria-sari
CEUR workshop proceedings ; 1525
konverentsi nimetus, aeg
14th Symposium on Programming Languages and Software Tools, SPLST 2015, 9-10 October 2015
konverentsi toimumispaik
Tampere
leitav
https://ceur-ws.org/Vol-1525/paper-14.pdf
märksõna
küberneetika
matemaatiline loogika
Scopus
https://www.scopus.com/sourceid/21100218356
https://www.scopus.com/record/display.uri?eid=2-s2.0-84962598967&origin=inward&txGid=df119720fb862645bb6560d535630baf
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
ISSN
1613-0073
märkused
Bibliogr.: 13 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise