swMATH8800MaRDI QIDQ20800FDOQ20800
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-11957-6_19
Cited In (9)
- TRX: a formally verified parser interpreter
- Simple, functional, sound and complete parsing for all context-free grammars
- On the formalization of some results of context-free language theory
- Certified CYK parsing of context-free languages
- GRATchk
- miTLS
- Pollack-inconsistency
- Total parser combinators
- A mechanisation of some context-free language theory in HOL4
This page was built for software: TRX
