algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540544951

ISBN : 3-540-54495-X

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

Collection : Lecture notes in computer science

N° de collection : 0530

Localisation : Collection 1er étage

Numéro de congrès : 4

Année de la rencontre : 1991

Ville du congrès : Paris

Pays du congrès : France

Code ACM : D.2.1 ; D.3.1 ; D.3.3 ; F.3 ; F.4.1

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires