A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics (2004)

Cached

Download Links

by Franz Baader , Silvio Ghilardi , Cesare Tinelli
Venue:In David A. Basin and Michaël Rusinowitch, editors, IJCAR ’04
Citations:13 - 7 self