DMCA

Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers

by Dario Della Monica , Valentin Goranko , Angelo Montanari , Guido Sciavicco
Venue:Journal of Universal Computer Science
Citations:1 - 1 self