Jesse Comer

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Guarded Fragment

Quantifier Elimination

Propositional Logic

Interpolation Methods

Top Venues

Publications

Jesse Comer
Lov\'asz Theorems for Modal Languages. CoRR (2024)
Balder ten Cate, Jesse Comer
Craig Interpolation for Decidable First-Order Fragments. FoSSaCS (2) (2024)
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Time-Bounded Resilience. WRLA (2024)
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Technical Report: Time-Bounded Resilience. CoRR (2024)
Balder ten Cate, Jesse Comer
Craig Interpolation for Guarded Fragments. CoRR (2023)
Balder ten Cate, Jesse Comer
Craig Interpolation for Decidable First-Order Fragments. CoRR (2023)