Higher-order syntax and saturation algorithms for hybrid logic

Cached

Download Links

by Moritz Hardt , Gert Smolka
Venue:In International Workshop on Hybrid Logic 2006 (HyLo 2006
Citations:9 - 5 self