5084 search results - page 243 / 1017 » Proving Possibility Properties |
168
click to vote
MSCS
2008
15 years 6 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
138
click to vote
NA
2008
15 years 6 months ago
2008
Abstract. In the course of their work on Salem numbers and uniform distribution modulo 1, A. Akiyama and Y. Tanigawa proved some inequalities concerning the values of the Bessel fu...
138
click to vote
MOR
2006
15 years 6 months ago
2006
We introduce an axiomatic definition of a conditional convex risk mapping and we derive its properties. In particular, we prove a representation theorem for conditional risk mappi...
157
click to vote
SIAMCO
2008
15 years 6 months ago
2008
Abstract. When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specif...
153
click to vote
IJFCS
2007
15 years 6 months ago
2007
The basic properties of distributivity and deletion of pure and o-substitution are investigated. The obtained results are applied to show preservation of recognizability in a numb...