2

On Uniqueness for the Navier–Stokes System in 3D-Bounded Lipschitz Domains

Year:
2002
Language:
english
File:
PDF, 135 KB
english, 2002
5

A perturbation result for bounded imaginary powers

Year:
1997
Language:
english
File:
PDF, 485 KB
english, 1997
6

A minimalistic look at widening operators

Year:
2009
Language:
english
File:
PDF, 335 KB
english, 2009
7

Abstract interpretation of programs as Markov decision processes

Year:
2005
Language:
english
File:
PDF, 798 KB
english, 2005
8

A New Approach to the Dore —Venni Theorem

Year:
1999
Language:
english
File:
PDF, 1.22 MB
english, 1999
9

Groupoid Metrization Theory ||

Year:
2013
Language:
english
File:
PDF, 4.47 MB
english, 2013
10

10.1090/s0002-9947-97-01997-1

Year:
1997
Language:
english
File:
PDF, 437 KB
english, 1997
15

Cells, walls, and endless forms

Year:
2016
Language:
english
File:
PDF, 1.41 MB
english, 2016
17

On the decidability of the existence of polyhedral invariants in transition systems

Year:
2018
Language:
english
File:
PDF, 358 KB
english, 2018
19

Behaviour of the Stokes operators under domain perturbation

Year:
2019
Language:
english
File:
PDF, 199 KB
english, 2019
22

A New Approach to the Dore —Venni Theorem

Year:
1999
Language:
english
File:
PDF, 751 KB
english, 1999
24

Abstracting cryptographic protocols with tree automata

Year:
2003
Language:
english
File:
PDF, 271 KB
english, 2003
27

The stokes operator with Neumann boundary conditions in Lipschitz domains

Year:
2011
Language:
english
File:
PDF, 575 KB
english, 2011
43

LEAFY blossoms

Year:
2010
Language:
english
File:
PDF, 455 KB
english, 2010
49

Superovulatory responses of cattle

Year:
1983
Language:
english
File:
PDF, 1.67 MB
english, 1983