Login / Signup
Ian Clingerman
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Decision Procedures
Temporal Logic
Mazurkiewicz Traces
Model Checking
Top Venues
CoRR
</>
Publications
</>
Michael C. Chavrimootoo
,
Ian Clingerman
,
Quan Luu
A Critique of Sopin's "PH = PSPACE".
CoRR
(2023)
Ian Clingerman
,
Quan Luu
A Critique of Czerwinski's "Separation of PSPACE and EXP".
CoRR
(2023)