Constructive final semantics of finite bags
autor
Joram, Philipp
vastutusandmed
Philipp Joram, Niccolò Veltri
allikas
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
ilmumiskoht
Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 20, 19 p
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 268
konverentsi nimetus, aeg
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
konverentsi toimumispaik
Bialystok, Poland
märksõna
kvartiil
kategooria (üld)
kategooria (alam)
võtmesõna
ISSN
1868-8969
ISBN
978-395977284-6
märkused
Bibliogr.: 34 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Joram, P., Veltri, N. Constructive final semantics of finite bags // 14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023. Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. art. 20, 19 p. (Leibniz international proceedings in informatics (LIPIcs) ; 268).