Comer, Jesse
- Craig Interpolation for Decidable First-Order Fragments
2023/10/12 by Cate, Balder ten, Comer, Jesse · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Lovász Theorems for Modal Languages
2024/04/23 by Jesse Comer, Comer, Jesse · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies