I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Lean Formalization of Extended Regular Expression Matching ..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Zhuchko, Ekaterina ; Veanes, Margus ; Ebner, Gabriel - p. 118-131 , 2024
Link: https://dl.acm.org/doi/10.1145/3636501.3636959