17 resultados para Lambda calculus

em Bulgarian Digital Mathematics Library at IMI-BAS


Relevância:

20.00% 20.00%

Publicador:

Resumo:

∗ The work is partially supported by NSFR Grant No MM 409/94.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper contains calculus rules for coderivatives of compositions, sums and intersections of set-valued mappings. The types of coderivatives considered correspond to Dini-Hadamard and limiting Dini-Hadamard subdifferentials in Gˆateaux differentiable spaces, Fréchet and limiting Fréchet subdifferentials in Asplund spaces and approximate subdifferentials in arbitrary Banach spaces. The key element of the unified approach to obtaining various calculus rules for various types of derivatives presented in the paper are simple formulas for subdifferentials of marginal, or performance functions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Classification: 26A33, 33C20.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Classification: 26A33, 33E12, 33C20.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Classification: 43A20, 26A33 (main), 44A10, 44A15

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: Primary 30C45, Secondary 26A33, 30C80

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Classification: 44A15, 33D15, 81Q99

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Class.: 33C10,33D60,26D15,33D05,33D15,33D90

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Classification: 26A33, 93C83, 93C85, 68T40

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 26A33, 33C60, 44A20

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MSC 2010: 44A20, 33C60, 44A10, 26A33, 33C20, 85A99

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MSC 2010: 26A33, 05C72, 33E12, 34A08, 34K37, 35R11, 60G22

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MSC 2010: 26A33, 05C72, 33E12, 34A08, 34K37, 35R11, 60G22

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MSC 2010: 26A33 Dedicated to Professor Rudolf Gorenflo on the occasion of his 80th anniversary

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MSC 2010: 15A15, 15A52, 33C60, 33E12, 44A20, 62E15 Dedicated to Professor R. Gorenflo on the occasion of his 80th birthday