A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.

Joe Hendrix José Meseguer Hitoshi Ohsaki

Published in: IJCAR (2006)

Keyphrases

order sorted
predicate logic
knowledge base
high level
data sets
data mining
web pages
higher level
formal specification
linear constraints
axiomatic characterization