Michael Zakharyaschev

1. Exponential Lower Bounds and Separation for Query Rewriting
   2012/02/19 by Stanislav Kikot, Kikot, Stanislav, Roman Kontchakov +5 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
2. Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
   2025/04/29 by Louwe B. Kuijer, Kuijer, Louwe, Tony Tan +5 · 4 citations
   Computer Science · #03B45 (Primary) 03C40 (Secondary) #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. From Interpolating Formulas to Separating Languages and Back Again
   2025/08/18 by Agi Kurucz, Frank Wolter, Kurucz, Agi +3 · 1 citation
   Mathematics · #History and Theory of Mathematics