136 search results - page 3 / 28 » About Duval's Conjecture |
AMC
2010
13 years 7 months ago
2010
In this work we propose a conjecture about the stability of the periodic solutions of the Ricker equation with periodic parameters, which goes beyond the existing theory, and for ...
AAAI
2008
13 years 9 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
COMPGEOM
1995
ACM
13 years 11 months ago
1995
ACM
A thrackle is a graph drawn in the plane so that its edges are represented by Jordan arcs and any two distinct arcs either meet at exactly one common vertex or cross at exactly on...
LICS
1999
IEEE
13 years 11 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
JSYML
2007
13 years 7 months ago
2007
We give four examples of theories in which Kreisel’s Conjecture is false: (1) the theory PA(-) obtained by adding a function symbol minus, ‘−’, to the language of PA, and t...