Equational formulas and pattern operations in initial order-sorted algebras.

José Meseguer Stephen Skeirik

Published in: Formal Aspects Comput. (2017)

Keyphrases

order sorted
theorem proving
predicate logic
horn clauses
pattern matching
neural network
pattern discovery
spatial reasoning
equational theories
distributive lattices