Login / Signup
Jesse Comer
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Quantifier Elimination
Technical Report
Interpolation Methods
Guarded Fragment
Top Venues
CoRR
</>
Publications
</>
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)