Lower semicontinuous type regularity conditions for subdifferential calculus.

Radu Ioan Bot Sorin-Mihai Grad

Published in: Optim. Methods Softw. (2010)

Keyphrases

type checking
sufficient conditions
website
database query languages
database
video sequences
expert systems
logic programs
natural deduction
provably correct
database programming language