Login / Signup
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality.
Tarek Sayed Ahmed
Published in:
Math. Log. Q. (2015)
Keyphrases
</>
optimal solution
database
computational properties
neural network
lower bound
data model
mathematical model
expressive power
temporal reasoning
inference rules
default logic
exact solution