Login / Signup
Ordered combinatory algebras and realizability.
Walter Ferrer Santos
Jonas Frey
Mauricio Guillermo
Octavio Malherbe
Alexandre Miquel
Published in:
Math. Struct. Comput. Sci. (2017)
Keyphrases
</>
temporal reasoning
real world
metadata
topological spaces
ordered sets
data sets
neural network
data structure
rough sets
user defined
spatial reasoning