Login / Signup
Rohit Parikh
Publication Activity (10 Years)
Years Active: 1966-2023
Publications (10 Years): 6
Top Topics
Quantifier Free
Knowledge Base
Propositional Dynamic Logic
Highly Expressive
Top Venues
ICLA
Log. J. IGPL
MOL
WoLLIC
</>
Publications
</>