Slice nondeterminism
author
statement of authorship
Niels F.W. Voorneveld
source
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
location of publication
Wadern
publisher
year of publication
pages
art. 31, 19 p
conference name, date
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
conference location
Bialystok, Poland
kvartiil
category (general)
category (sub)
Arvutiteadus. Tarkvara
keyword
ISSN
1868-8969
ISBN
978-395977284-6
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Voorneveld, N.F.W. Slice nondeterminism // 4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023. Wadern : Dagstuhl Publishing, 2023. art. 31, 19 p. (Leibniz international proceedings in informatics (LIPIcs) ; 268).