m

F Nous contacter

0
     
Congrès

H 0 Advances in linear logic :
linear logic workshop held at Mathematical Sciences Institute#June 14-18

Girard, Jean-Yves (Editeur) ; Lafont , Yves (Editeur) ; Regnier, Laurent (Editeur)

Cambridge University Press

1995

389 p.

978-0-521-55961-4

00017649

03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05

algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521559614

ISBN : 0-521-55961-8

Collation : fig.#23 cm#broch. ; Bibliogr.

Collection : London mathematical society lecture note series

N° de collection : 0222

Localisation : Collection 1er étage

Notes : MSI is a US army center of excellence

Année de la rencontre : 1993

Ville du congrès : N.Y.

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 2
Cote Code barre Commentaire
1 00017649 [disponible]
2 00021763 [disponible]
Z