DMCA

Two tableau provers for basic hybrid logic (2009)

by Marta Cialdea Mayer , Serenella Cerrito , Emanuele Benassi , Fabio Giammarinaro , Chiara Varani
Citations:4 - 3 self