m
     
Ouvrage

H 0 Logique réduction, résolution

Lalement, René (Principal) ; Demazure, Michel (Préfacier)

Masson

1990

370 p.

978-2-225-82104-2

00017455

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225821042

ISBN : 2-225-82104-6

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

Collection : Etudes et recherches en informatique

Localisation : Ouvrage RdC (LALE)

Code ACM : D.1 ; D.1.6 ; D.3.0 ; D.3.1 ; D.3.3

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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