Kolesar, John
- Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
2025/04/01 by John C. Kolesar, Kolesar, John, Ali, Shan +4 · 2 citations
Computer Science · #Logic, programming, and type systems #Web Application Security Vulnerabilities #Logic, Reasoning, and Knowledge