1670 search results - page 106 / 334 » On Skolemization in constructive theories |
164
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
159
click to vote
AR
2002
15 years 6 months ago
2002
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...
174
click to vote
AIS
1999
Springer
15 years 6 months ago
1999
Springer
The Internet and other interactive networks are diffusing across the globe at rates that vary from country to country. Typically, economic and market structure variables are used t...
177
click to vote
SIGCPR
2006
ACM
16 years 10 days ago
2006
ACM
A review of 862 papers published in SIGMIS/CPR proceedings over the past 44 years revealed only 29 articles that focused on gender and the IT workforce or gender and IT education,...
183
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...