The following pages link to Aditi Barthwal (Q386030):
Displaying 4 items.
- A mechanisation of some context-free language theory in HOL4 (Q386032) (← links)
- A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 (Q3586036) (← links)
- Verified, Executable Parsing (Q3617698) (← links)
- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages (Q4931595) (← links)