51

Local Solutions to the Navier–Stokes Equations with Mixed Boundary Conditions

Year:
1998
Language:
english
File:
PDF, 121 KB
english, 1998
54

Boolean functions with a simple certificate for CNF complexity

Year:
2012
Language:
english
File:
PDF, 329 KB
english, 2012
56

Preface

Year:
2012
Language:
english
File:
PDF, 112 KB
english, 2012
65

Prevalence of apoptosis in endometriotic lesions

Year:
2002
Language:
english
File:
PDF, 28 KB
english, 2002
72

Boolean functions with long prime implicants

Year:
2013
Language:
english
File:
PDF, 221 KB
english, 2013
73

A decomposition method for CNF minimality proofs

Year:
2013
Language:
english
File:
PDF, 371 KB
english, 2013
83

On Recursion Theory in I∑1

Year:
1989
Language:
english
File:
PDF, 334 KB
english, 1989
92

Constant solutions of polynomial equations

Year:
1991
Language:
english
File:
PDF, 249 KB
english, 1991