Introduction.- Preliminaries.- Horn Axiomatizations for Sequences.- Transformations on Injective Partial Orders.- Transformations on General Partial Orders.- Towards Other Structured Data.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.