täiskirje prindi

Constructive final semantics of finite bags

autor
Joram, Philipp
Veltri, Niccolò
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
konverentsi nimetus, aeg
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
konverentsi toimumispaik
Bialystok, Poland
leitav
ISSN
1868-8969
ISBN
978-395977284-6
märkused
Bibliogr.: 34 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
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 : Dagstuhl Publishing, 2023. art. 20, 19 p. (Leibniz international proceedings in informatics (LIPIcs) ; 268). https://doi.org/10.4230/LIPIcs.ITP.2023.20