Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. UCS, 18(20):2798-2831, 2012. [doi]

No reviews for this publication, yet.