Finiteness of Symbolic Derivatives in Lean
vastutusandmed
Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner
allikas
16th International Conference on Interactive Theorem Proving (ITP 2025)
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 16:1-16:19
seeria-sari
Leibniz International Proceedings in Informatics (LIPIcs) ; 352
konverentsi nimetus, aeg
16th International Conference on Interactive Theorem Proving (ITP 2025), September 28 to October 1, 2025
konverentsi toimumispaik
Reykjavik, Iceland
ISBN
978-3-95977-396-6
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
klassifikaator
Zhuchko, E., Maarand, H., Veanes, M., Ebner, G. Finiteness of Symbolic Derivatives in Lean // 16th International Conference on Interactive Theorem Proving (ITP 2025). : Dagstuhl Publishing, 2025. p. 16:1-16:19. (Leibniz International Proceedings in Informatics (LIPIcs) ; 352).