Login / Signup

And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.

Rajeev Goré
Published in: IJCAR (2014)
Keyphrases