3571 search results - page 185 / 715 » Cohen and Set Theory |
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
191
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...
159
click to vote
TOG
2008
15 years 6 months ago
2008
Humans usually associate an upright orientation with objects, placing them in a way that they are most commonly seen in our surroundings. While it is an open challenge to recover ...
167
click to vote
JSYML
2008
15 years 6 months ago
2008
In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A T 0 is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there i...
190
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...