Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras.

José Meseguer Stephen Skeirik

Published in: LOPSTR (2015)

Keyphrases

pattern matching
horn clauses
order sorted
predicate logic
theorem prover
data analysis
information extraction
pattern discovery
equational theories