3552 search results - page 179 / 711 » Proof theory in the abstract |
152
click to vote
SYNASC
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract. In this paper we give some applications of weakly Picard operators theory to linear positive approximation operators, to difference equations with deviating argument and...
153
click to vote
AUSAI
2003
Springer
15 years 11 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
169
click to vote
COCOON
1995
Springer
15 years 10 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
144
click to vote
APAL
2008
15 years 6 months ago
2008
We show that an existentially closed CSA -group is not superstable. We prove that a non-abelian superstable CSA-group has an infinite definable simple subgroup all of whose proper...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a novel achievability proof of the Slepian-Wolf theorem for i.i.d. sources over finite alphabets. We demonstrate that random codes that are linear over the real field ac...