VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Author: Rajeev Gore

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL
Authors:Rajeev Gore
Proceedings:IJCAR 2014 LNCS proceedings
Editors: Stéphane Demri, Deepak Kapur and Christoph Weidenbach
Keywords:
Abstract:
Pages:20
Talk:Jul 19 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program