Constructive final semantics of finite bags

author
Joram, Philipp
statement of authorship
Philipp Joram, Niccolò Veltri
source
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
location of publication
Wadern
year of publication
pages
art. 20, 19 p
conference name, date
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
conference location
Bialystok, Poland
subject term
kvartiil
Q2
category (general)
category (sub)
ISSN
1868-8969
ISBN
978-395977284-6
notes
Bibliogr.: 34 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
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 : Dagstuhl Publishing, 2023. art. 20, 19 p. (Leibniz international proceedings in informatics (LIPIcs) ; 268). https://doi.org/10.4230/LIPIcs.ITP.2023.20