Correctness proofs of syntax directed processing

Zone d'identification

Cote

FR UMR7117 CP-CP198/CP209-CP199

Titre

Date(s)

1976 (Production)

Niveau de description

Pièce

Étendue matérielle et support

Un texte en anglais de 20 pages

Zone du contexte

Nom du producteur

Claude Pair

(1934 - 2020)

Notice biographique

Dépôt

Archives Henri-Poincaré

Histoire archivistique

Source immédiate d'acquisition ou de transfert

Zone du contenu et de la structure

Portée et contenu

Correctness proofs of syntax directed processing, descriptions by attributes,
C. pair, M. Amirchahy, D. Neel,

Évaluation, élimination et calendrier de conservation

Accroissements

Mode de classement

Zone des conditions d'accès et d'utilisation

Conditions d’accès

Conditions de reproduction

Langue des documents

Écriture des documents

Notes de langue et graphie

Caractéristiques matérielle et contraintes techniques

Instruments de recherche

Zone des sources complémentaires

Existence et lieu de conservation des originaux

Existence et lieu de conservation des copies

Unités de description associées

Descriptions associées

Zone des notes

Identifiant(s) alternatif(s)

Mots-clés

Mots-clés - Sujets

Mots-clés - Lieux

Mots-clés - Noms

Mots-clés - Genre

Zone du contrôle de la description

Identifiant de la description

Identifiant du service d'archives

Règles et/ou conventions utilisées

Statut

Niveau de détail

Dates de production, de révision, de suppression

Langue(s)

Écriture(s)

Sources

Zone des entrées

Pièce CP199 - Correctness proofs of syntax directed processing