Finiteness of Symbolic Derivatives in Lean
autor
Zhuchko, Ekaterina
Maarand, Hendrik
Veanes, Margus
Ebner, Gabriel
vastutusandmed
Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner
allikas
16th International Conference on Interactive Theorem Proving (ITP 2025)
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2025
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
leitav
https://doi.org//10.4230/LIPIcs.ITP.2025.16
märksõna
regulaarsed keeled
formaalkeeled
tuletised (keeleteadus)
võtmesõna
Lean
regular languages
lookarounds
derivatives
finiteness
ISBN
978-3-95977-396-6
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise