Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$.

Published in: J. Philos. Log. (2013)

Keyphrases

equational theories
theoretical framework
theoretical basis
general theory
real time
d objects
description logics
query answering
data sets
neural network
data streams
state space
computational model
mathematical models
formal theory