A first-order differential double subordination with applications.

Rosihan M. Ali Nak Eun Cho Oh Sang Kwon V. Ravichandran

Published in: Appl. Math. Lett. (2012)

Keyphrases

first order logic
higher order
databases
logic programs
real world
case study
multi agent
optimal solution
search algorithm
expert systems
decision diagrams
term rewriting
stochastic dominance
general logic programs