64 search results - page 3 / 13 » Proving Church's Thesis |
CIE
2005
Springer
14 years 11 months ago
2005
Springer
CORR
2006
Springer
14 years 9 months ago
2006
Springer
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
CIE
2010
Springer
15 years 2 months ago
2010
Springer
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
CIE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...