Archives Henri Poincare

Showing 275 results

Archival description

Advanced search options

Find results with:

Limit results to:

Repository

Top-level description

Filter results by:

Level of description

Digital object available

Finding aid

General material designation

Top-level descriptions All descriptions

Filter by date range:

Start

End

Overlapping Exact

Use these options to specify how the date range returns results. "Exact" means that the start and end dates of descriptions returned must fall entirely within the date range entered. "Overlapping" means that any description whose start or end dates touch or overlap the target date range will be returned.

Print preview Hierarchy View:

Sort by:

Direction:

Some proposals for a very high level language on a variable universe

FR UMR7117 CP-B-2-b-CP189
Item
1975-08

Part of Fonds Claude Pair

Some proposals for a very high level language on a variable universe, C. Pair
Institut National Polytechnique de Lorraine, Nancy - France

Claude Pair

Calculs, ensembles de calculs, équivalence de programmes

FR UMR7117 CP-B-2-a-CP190
Item
1975

Part of Fonds Claude Pair

Istituto Nazionale di alta matematica, Symposia Mathematica
Volume XV
C. Pair, Calculs, ensembles de calculs, équivalence de programmes

Claude Pair

Du problème à sa solution, brouillon

FR UMR7117 CP-B-2-c-CP191
Item
1975-10

Part of Fonds Claude Pair

Du problème à sa solution, C. Pair, Institut national Polytechnique de lorraine, Nancy
Ce texte a servi de base à un exposé aux journées "Logiques et programmation"

Claude Pair

Du problème à sa solution

FR UMR7117 CP-B-2-b-CP192
Item
1975-11-19 - 1975-11-20

Part of Fonds Claude Pair

Du problème à sa solution, C. Pair, Institut national Polytechnique de lorraine, Nancy
Ce texte a servi de base à un exposé aux journées "Logiques et programmation"

Claude Pair

Preuves de descriptions de traitements de textes par attributs

FR UMR7117 CP-B-2-d-CP193
Item
1976-03

Part of Fonds Claude Pair

IRIA Laboria, Laboratoire de recherche en informatique et automatique,
Preuves de descriptions de traitements de textes par attributs, C. Pair, M. Amichahy, D. Néel,
Rapport de recherche n°163

Claude Pair

Algorithms for checking consistency of attribute grammars