Login / Signup
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets.
Kazuhisa Ishida
Yasunari Shidama
Published in:
Formaliz. Math. (2010)
Keyphrases
</>
fixpoint
continuous functions
logic programs
digital topology
deductive databases
partially ordered sets
real valued
finite state machines
differential equations
horn clauses
logic programming
answer sets
nonmonotonic reasoning
datalog programs
integrity constraints
endpoints
nonlinear functions