Definition of Flat Poset and Existence Theorems for Recursive Call.

Kazuhisa Ishida Yasunari Shidama Adam Grabowski

Published in: Formaliz. Math. (2014)

Keyphrases

fixed point theorem
partial order
real time
recursive algorithm
complementarity problems
data sets
data mining
information systems
artificial neural networks
data model
boundary value problem
digital topology
ordered sets