Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 279 p.
ISBN 978-2-85629-363-8
Séminaires & congrès , 0026
Localisation : Collection 1er étage
Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # Homologie des E_n-algèbres # identités entre les relations # méthodes de renormalisation perturbatives # n-catégorie # opérade # opérade des petits disques # polygraphe # pro # prop # présentation par générateurs et relations # réécriture # réécriture de diagrammes # renormalisation # S-modules # théorèmes de PBW # théorèmes libres # théorie algébrique # treillis de Tamari # tresse # type de dérivation fini
Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # ...
05C05 ; 06A11 ; 08B20 ; 16S15 ; 16G20 ; 17B35 ; 17D99 ; 18D05 ; 18C10 ; 18G15 ; 18D20 ; 18G55 ; 55P48 ; 55R80 ; 55U99 ; 57T30 ; 68Q05 ; 68Q12 ; 68N18 ; 68Q25 ; 68W30 ; 68Q42
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 484 p.
ISBN 978-0-521-62277-6
Cambridge tracts in theoretical computer science , 0046
Localisation : Ouvrage RdC (AMAD)
logique # informatique # logique combinatoire # sémantique # logique de programmation # sémantique # langage de programmation # domaine # calcul lambda # syntaxe du calcul lambda # dualiété de Stone # approche syntaxique de la sémantique
03B40 ; 06B35 ; 58-02 ; 68Q55 ; 68N18
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 392 p.
ISBN 978-0-521-62112-0
Cambridge tracts in theoretical computer science , 0045
Localisation : Ouvrage RdC (ASPE)
informatique # logiciel # programmation fonctionnelle # langage de programmation # calcul lambda # logique linéaire
68N18 ; 03B40 ; 03F52
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 420 p.
ISBN 978-0-387-23759-6
Monographs in computer science
Localisation : Ouvrage RdC (POER)
aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème
03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi, 275 p.
ISBN 978-2-85629-273-0
Panoramas et synthèses , 0027
Localisation : Collection 1er étage
Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux
03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
