Login / Signup
Decision Procedures for Openness and Local Injectivity.
Stephen J. Willson
Published in:
Complex Syst. (1991)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
hidden markov models
satisfiability problem
tight complexity bounds
data sets
temporal logic
theorem prover
np complete
knowledge representation
special case
search algorithm
machine learning