Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures.

Serafino Amoroso Yale N. Patt

Published in: J. Comput. Syst. Sci. (1972)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
satisfiability problem
presburger arithmetic
database
machine learning
knowledge representation