full record print

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
series
conference name, date
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
conference location
Bialystok, Poland
url
ISSN
1868-8969
ISBN
978-395977284-6
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
category (general)
category (sub)
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). https://doi.org/10.4230/LIPIcs.ITP.2023.31