DMCA

Tableau-based decision procedures for hybrid logic (2005)

Cached

Download Links

by Thomas Bolander , Torben , Bra Üner
Venue:Journal of Logic and Computation
Citations:23 - 5 self