Login / Signup

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.

Davide BresolinAngelo MontanariPietro Sala
Published in: STACS (2007)
Keyphrases