7988 search results - page 382 / 1598 » A Useful Undecidable Theory |
162
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
168
click to vote
TOPNOC
2008
15 years 6 months ago
2008
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: i) a general a...
145
click to vote
ADCM
2000
15 years 6 months ago
2000
We discuss the problem of detecting the location of discontinuities of derivatives of a periodic function, given either finitely many Fourier coefficients of the function, or the ...
157
click to vote
AUTOMATICA
2000
15 years 6 months ago
2000
The use of linear quadratic theory in bumpless transfer is discussed and a modification to a similar scheme proposed in [9] is suggested. Formulae are given for a feedback element...
157
Voted
JSC
2000
15 years 6 months ago
2000
This paper presents a generalization of a theorem of Saltman on the existence of generic extensions with group A G over an infinite field K, where A is abelian, using less restri...