5084 search results - page 160 / 1017 » Proving Possibility Properties |
113
click to vote
JSC
2008
15 years 6 months ago
2008
Extending the notion of indispensable binomials of a toric ideal ((14), (7)), we define indispensable monomials of a toric ideal and establish some of their properties. They are u...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting ...
125
click to vote
APPML
2005
15 years 6 months ago
2005
In this note we analyze the linearized equations of forced elongation. We prove that solutions of these equations are given by a quasicontraction C0-semigroup on the physically co...
149
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) ...
142
click to vote
APAL
2000
15 years 6 months ago
2000
In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [Hy]. We apply this to prove a structure theorem. We...