Some decidable classes of formulas of pure hybrid logic
S. Norgėla, A. ŠalaviejienėVolume:
47
Language:
english
Pages:
8
DOI:
10.1007/s10986-007-0032-8
Date:
October, 2007
File:
PDF, 95 KB
english, 2007