52

Pseudocomplements of closure operators on posets

Year:
2002
Language:
english
File:
PDF, 128 KB
english, 2002
53

Platelet lysate stimulates wound repair of HaCaT keratinocytes

Year:
2008
Language:
english
File:
PDF, 425 KB
english, 2008
57

Closures on CPOs Form Complete Lattices

Year:
1999
Language:
english
File:
PDF, 230 KB
english, 1999
59

Incompleteness of states w.r.t. traces in model checking

Year:
2006
Language:
english
File:
PDF, 434 KB
english, 2006
60

Generalizing the Paige–Tarjan algorithm by abstract interpretation

Year:
2008
Language:
english
File:
PDF, 876 KB
english, 2008
61

An efficient simulation algorithm based on abstract interpretation

Year:
2010
Language:
english
File:
PDF, 433 KB
english, 2010
62

Child abuse: current problems and key public health challenges

Year:
2000
Language:
english
File:
PDF, 174 KB
english, 2000
69

Some properties of complete congruence lattices

Year:
1998
Language:
english
File:
PDF, 191 KB
english, 1998
77

An efficient simulation algorithm on Kripke structures

Year:
2014
Language:
english
File:
PDF, 1.06 MB
english, 2014
79

Correctness kernels of abstract interpretations

Year:
2014
Language:
english
File:
PDF, 794 KB
english, 2014
96

Generalized Strong Preservation by Abstract Interpretation

Year:
2006
Language:
english
File:
PDF, 434 KB
english, 2006
97

Propolis: a new frontier for wound healing?

Year:
2015
Language:
english
File:
PDF, 722 KB
english, 2015
99

A unifying view of abstract domain design

Year:
1996
Language:
english
File:
PDF, 316 KB
english, 1996