Om Swostik Mishra

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Presburger Arithmetic

First Order Logic

Conjunctive Regular Path Queries

Top Venues

Publications

Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. CoRR (2024)
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP (2024)
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
An efficient quantifier elimination procedure for Presburger arithmetic. CoRR (2024)