Samuel J. van Gool
- Uniform interpolation and compact congruences
2017/05/28 by Samuel J. van Gool, George Metcalfe, Constantine Tsinakis · 3 citations
Computer Science · #Advanced Algebra and Logic #Formal Methods in Verification #Logic, programming, and type systems