m

Documents  C.S.L.A. | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 200 p.
ISBN 978-0-937073-78-0

CSLI lecture notes , 0029

Localisation : Ouvrage RdC (TROE)

algorithme d'élimination par coupure pour réseau de preuves # calcul de 2 implications # calcul par évaluation paresseuse dans les CCC's, SMC's et IL # calcul résultant # cohérence en catégorie monoïdale symétrique # comonoïde colibre # domaine de Girard # indécidabilité de logique linéaire # logique # logique consciente en ressource # logique linéaire combinatoire # logique mathématique # logique sous-structuelle # logique symbolique # machine catégorique et linéaire # normalisation forte # opérateur de stokage # opérateur multiplicatif # ordinateur # plongement et approximation # réseau de preuve pour fragment multiplicatif # résultat syntactique # système de déduction naturelle # système de type Hilbert # sémantique algébrique # évaluation en calcul typé algorithme d'élimination par coupure pour réseau de preuves # calcul de 2 implications # calcul par évaluation paresseuse dans les CCC's, SMC's et IL # calcul résultant # cohérence en catégorie monoïdale symétrique # comonoïde colibre # domaine de Girard # indécidabilité de logique linéaire # logique # logique consciente en ressource # logique linéaire combinatoire # logique mathématique # logique sous-structuelle # logique symbolique # machine ...

03Bxx

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z