Login / Signup
Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations.
Christian Choffrut
Serge Grigorieff
Published in:
Fields of Logic and Computation II (2015)
Keyphrases
</>
min max
theoretical framework
theoretical basis
real time
case study
general theory
database
neural network
search engine
e learning
knowledge base
multi agent
theoretical foundation
belief functions
multiobjective optimization