An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Bresolin, Angelo Montanari, Pietro Sala. An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. In Wolfgang Thomas, Pascal Weil, editors, STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings. Volume 4393 of Lecture Notes in Computer Science, pages 549-560, Springer, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Davide Bresolin

Look up 'Davide Bresolin' in GoogleThis author has not been identified. Look up 'Angelo Montanari' in GoogleThis author has not been identified. Look up 'Pietro Sala' in Google

runs on WebDSL