compact view print

Finiteness of Symbolic Derivatives in Lean

author
Zhuchko, Ekaterina
Maarand, Hendrik
Veanes, Margus
Ebner, Gabriel
statement of authorship
Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner
source
16th International Conference on Interactive Theorem Proving (ITP 2025)
publisher
Dagstuhl Publishing
year of publication
2025
pages
p. 16:1-16:19
series
Leibniz International Proceedings in Informatics (LIPIcs) ; 352
conference name, date
16th International Conference on Interactive Theorem Proving (ITP 2025), September 28 to October 1, 2025
conference location
Reykjavik, Iceland
url
https://doi.org//10.4230/LIPIcs.ITP.2025.16
subject term
regulaarsed keeled
formaalkeeled
tuletised (keeleteadus)
keyword
Lean
regular languages
lookarounds
derivatives
finiteness
ISBN
978-3-95977-396-6
notes
Bibliogr.: 32 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
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). https://doi.org//10.4230/LIPIcs.ITP.2025.16