DMCA

An Efficient Approach to Nominal Equalities in Hybrid Logic Tableaux

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