Correctness proofs of syntax directed processing
- FR UMR7117 CP-B-2-a-CP199
- Pièce
- 1976
Fait partie de Fonds Claude Pair
Correctness proofs of syntax directed processing, descriptions by attributes,
C. pair, M. Amirchahy, D. Neel,
Claude Pair
Correctness proofs of syntax directed processing
Fait partie de Fonds Claude Pair
Correctness proofs of syntax directed processing, descriptions by attributes,
C. pair, M. Amirchahy, D. Neel,
Claude Pair
Correctness proofs of syntax directed processing, Description by attributes
Fait partie de Fonds Claude Pair
reprinted forum Journal of Computer and System Sciences
Vol. 19, No. 1, August 1979
Correctness proofs of syntax directed processing, Description by attributes
Claude Pair
Correspondance entre A. Danzin et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "IRIA, Institut de Recherche d'Informatique et d'Automatique"
Porte la référence : N° AD/1m/9801/Dir.
Correspondance de A. Danzin à l'intention de C. Pair à propos du prix Michel Montpetit obtenu par C. Pair
Claude Pair
Correspondance entre A. Ershov et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "Computing center Novosibirsk 630090 USSR"
Correspondance de A. Ershov à C. Pair qu'il invite à participer au Symposium
Claude Pair
Correspondance entre A. Geismar et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "Agence de l'Informatique, Établissement Public National"
Porte la référence : "N/réf : RTT/JPH/MD/85.391"
Correspondance de A. Geismar à C. Pair à propos de la création du système DIANE "forme langagière-MARION" dans laquelle il lui demande d'examiner le contrat entre Paris VII et IBM vis-à-vis de l'ADI et ses partenaires.
Correspondance manuscrite de C. Pair à A. Geismar dans laquelle ce dernier accuse réception du contrat.
Rapport sur le litige A.D.I - Paris 7.
Claude Pair
Correspondance entre A. Kaufmann et C. Pair
Fait partie de Fonds Claude Pair
Correspondance à propos d'ouvrages redigés par C. Pair et plus particulièrement sa thèse ; Étude de la notion de pile et application a l'analyse syntaxique.
Claude Pair
Correspondance entre B. Robinet et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "AFCET, Association française pour la Cybernétique Économique et Technique"
Correspondance de B. Robinet à C. Pair, dans laquelle ce dernier évoque l'éloignement de C. Pair vis-à-vis de l'AFCET
Claude Pair
Correspondance entre B. Wegnel et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "Zentralblatt für Mathematik, Herausgeber : Heidelberger akademie der Wissenschaften"
Correspondance de B. Wegnel à C. Pair dans laquelle il évoque l'écriture d'un document devant comporter un sommaire et une courte revue.
Sur la seconde feuille, un brouillon de ce document au format manuscrit.
Claude Pair
Correspondance entre C. Chicoix et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "Université des sciences et techniques du Languedoc, Laboratoire d'automatique"
Correspondance de C. Chicoix à l'intention de C. Pair dans laquelle il remercie C. Pair et évoque la publication d'un article à venir (pour la fin de l'année 1972)
Porte la référence CC-JM 72128
Claude Pair
Correspondance entre C. Pair et Mercouroff
Fait partie de Fonds Claude Pair
Sur une entête : "Institut National polytechnique de Lorraine"
Discussions des deux interlocuteurs à propos du travail de Peaucelle
Claude Pair