m

F Nous contacter

0

Documents  68N18 | enregistrements trouvés : 6

O
     

-A +A

P Q

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.

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

Z