2585 search results - page 67 / 517 » Automating Coherent Logic |
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
CL
2000
Springer
14 years 2 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
CSL
2008
Springer
13 years 11 months ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...