Formal Methods for Mining Structured Objects - Garriga, Gemma C.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013)
Introduction -- Preliminaries -- Horn Axiomatizations for Sequences -- Transformations on Injective Partial Orders -- Transformations on General Partial Orders -- Towards Other Structured Data.
Keywords: Computational intelligence; Artificial intelligence; Computational Intelligence; Artificial Intelligence