m
     
Ouvrage

H 0 Lectures on linear logic

Troelstra, A. S. (Principal)

C.S.L.A.

1992

200 p.

978-0-937073-78-0

00017719

03Bxx

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é

Ville d'édition : Menlo Park

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780937073780

ISBN : 0-937073-78-4

Collation : 24 cm#rel. ; Bibliogr. ; Index

Collection : CSLI lecture notes

N° de collection : 0029

Localisation : Ouvrage RdC (TROE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00017719 [disponible]
Z