7988 search results - page 151 / 1598 » A Useful Undecidable Theory |
JANCL
2007
13 years 10 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
APAL
2004
13 years 10 months ago
2004
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
TIT
2002
13 years 10 months ago
2002
Abstract--In this paper, we establish a one-to-one correspondence between information inequalities and group inequalities. The major implication of our result is that we can prove ...
JCT
2010
13 years 8 months ago
2010
We prove a collection of conjectures of D. White [37], as well as some related conjectures of Abuzzahab-Korson-Li-Meyer [1] and of Reiner and White [21], [37], regarding the cyclic...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...