Introduction.- Preliminaries.- Horn Axiomatizations for Sequences.- Transformations on Injective Partial Orders.- Transformations on General Partial Orders.- Towards Other Structured Data.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.