Login / Signup
Decidability and complexity of simultaneous rigid E-unification with one variable and related results.
Anatoli Degtyarev
Yuri Gurevich
Paliath Narendran
Margus Veanes
Andrei Voronkov
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
computational complexity
higher order
three dimensional
search algorithm
theorem prover
query answering
closely related
worst case
query language
computational cost
relational databases
data sets
objective function
database systems
case study
e learning
social networks
search engine
learning algorithm