Kuijer, Louwe
- Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
2025/04/29 by Louwe B. Kuijer, Tony Tan, Kuijer, Louwe +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