- xii; 278 p.
Cote : 00035638
système algébrique # informatique # catégories d'algèbres # catégories équationnelles # théorie algébrique des automates # algèbre universel # coalgèbre # théorie des catégories # clone # théorème de Birkhoff # treillis de Post # bi-simulation
08-01 ; 08-02 ; 08A70 ; 08C05 ; 18C05 ; 68Q65 ; 68Q70 ; 68Q85
Localisation : Ouvrage RdC (DENE)