DMCA

Herod and Pilate: two Tableau Provers for Basic Hybrid Logic

by Serenella Cerrito , Marta Cialdea Mayer , Lab Ibisc , Université D’evry Val D’essonne
Citations:2 - 1 self