Resolution with Order and Selection for Hybrid Logics
Carlos Areces, Daniel GorínVolume:
46
Language:
english
Pages:
42
DOI:
10.1007/s10817-010-9167-0
Date:
January, 2011
File:
PDF, 979 KB
english, 2011