Slice nondeterminism

vastutusandmed
Niels F.W. Voorneveld
allikas
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
ilmumiskoht
Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 31, 19 p
konverentsi nimetus, aeg
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
konverentsi toimumispaik
Bialystok, Poland
kvartiil
Q2
kategooria (üld)
kategooria (alam)
võtmesõna
nondeterministic functions
powerset
slice category
ISSN
1868-8969
ISBN
978-395977284-6
märkused
Bibliogr.: 24 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
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). https://doi.org/10.4230/LIPIcs.ITP.2023.31