437 search results - page 57 / 88 » Proving Termination by Divergence |
151
click to vote
MOC
2010
15 years 27 days ago
2010
Abstract. We introduce a new mixed method for linear elasticity. The novelty is a simplicial element for the approximate stress. For every positive integer k, the row-wise divergen...
192
click to vote
MMAS
2012
Springer
14 years 1 months ago
2012
Springer
In this paper we analyze wave propagation in three-dimensional random media. We consider a source with limited spatial and temporal support that generates spherically diverging wav...
172
click to vote
CALCO
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
157
click to vote
ICFEM
2009
Springer
16 years 20 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
163
click to vote
CSL
2007
Springer
16 years 9 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...