Rohit Parikh

Publication Activity (10 Years)

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

Top Topics

Quantifier Free

Propositional Dynamic Logic

Highly Expressive

Top Venues

Publications