Employing Path Dissolution to Shorten Tableaux Proofs.

Neil V. Murray Erik Rosenthal

Published in: ISSAC (1989)

Keyphrases

decision procedures
modal logic
theorem proving
functional dependencies
data sets
automated reasoning
shortest path
information systems
databases
theorem prover
image sequences
multiscale
decision trees
web services
neural network
database
multiple paths
formal proof
equational theories
mathematical proofs