Similar Items: Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
- The Agda standard library: version 2.0
- Formalising the pi-calculus using nominal logic
- Formalising the Double-Pushout Approach to Graph Transformation
- A Framework for Certified Self-Stabilization
- dbparser: An R Package for Parsing and Integrating Pharmacological Databases
- Certifying Confluence Proofs via Relative Termination and Rule Labeling