Edward Hermann Hæusler
- NP vs PSPACE
2016/09/30 by L. Gordeev, Lew Gordeev, Edward Hermann Hæusler +3 · 3 voices
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
- From Dag-Like Proofs to Boolean Circuits in Lean
2026/07/18 by Lorenzo Saraiva, Edward Hermann Haeusler, Edward Hermann Hæusler
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge