TRX

swMATH8800MaRDI QIDQ20800FDOQ20800

Author name not available (Why is that?)

Cited In (8)

• The computational power of parsing expression grammars
• On the Formalization of Some Results of Context-Free Language Theory
• Certified CYK parsing of context-free languages
• Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
• TRX: A Formally Verified Parser Interpreter
• Pollack-inconsistency
• Total parser combinators
• A mechanisation of some context-free language theory in HOL4

This page was built for software: TRX