A Labeled Natural Deduction System for a Fragment of CTL* - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrea Masini, Luca Viganò, Marco Volpe. A Labeled Natural Deduction System for a Fragment of CTL*. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Volume 5407 of Lecture Notes in Computer Science, pages 338-353, Springer, 2009. [doi]

This author has not been identified. Look up 'Andrea Masini' in GoogleThis author has not been identified. Look up 'Luca Viganò' in GoogleThis author has not been identified. Look up 'Marco Volpe' in Google

runs on WebDSL