John C. Kolesar

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