A Modal-Layered Resolution Calculus for K - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cláudia Nalon, Ullrich Hustadt, Clare Dixon. A Modal-Layered Resolution Calculus for K. In Hans de Nivelle, editor, Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings. Volume 9323 of Lecture Notes in Computer Science, pages 185-200, Springer, 2015. [doi]

This author has not been identified. Look up 'Cláudia Nalon' in GoogleThis author has not been identified. Look up 'Ullrich Hustadt' in GoogleThis author has not been identified. Look up 'Clare Dixon' in Google

runs on WebDSL