5269 search results - page 30 / 1054 » order 2007 |
110
click to vote
AML
1999
14 years 11 months ago
1999
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...
ACL
1998
15 years 1 months ago
1998
This paper proposes decoupling the dependency tree from word order, such that surface ordering is not determined by traversing the dependency tree. We develop the notion of a word...
114
click to vote
ACL
1990
15 years 29 days ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
APPML
2005
14 years 11 months ago
2005
In this paper, we discuss the existence of positive periodic solutions to the nonlinear differential equation u (t) + a(t)u(t) = f (t, u(t)), t R, where a : R [0, +) is an -peri...
LOGCOM
2007
14 years 11 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...