Constantine Tsinakis
- Modern Algebra - Foreword.
2000/01/01 by Zhi Zhao, Yu-Ao Chen, An-Ning Zhang +8 · 4 citations
Computer Science · Mathematics · Physics and Astronomy · #History and Theory of Mathematics #Mathematics and Applications #Mathematics, Computing, and Information Processing #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #quant-ph
- 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