Login / Signup
The complexity of the first-order theory of pure equality.
Ivan V. Latkin
Published in:
CoRR (2019)
Keyphrases
</>
theoretical framework
higher order
computational model
first order logic
space complexity
computational complexity
worst case
decision problems
horn clauses
formal theory
real time
machine learning
case study
computational cost
theoretical foundation