Franchi-Zannettacci, Paul, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Franchi-Zannettacci, Paul.
Franchi-Zannettacci, P.
Franchi-Zannettacci, P. (Paul)
VIAF ID: 67070532 (Personal)
Permalink: http://viaf.org/viaf/67070532
Preferred Forms
-
100 1 _
‡a
FRANCHI-ZANNETTACCI, PAUL.
-
100 1 _
‡a
Franchi-Zannettacci, P.
-
100 1 _ ‡a Franchi-Zannettacci, P.
-
100 1 _
‡a
Franchi-Zannettacci, P.
‡q
(Paul)
-
100 1 _ ‡a Franchi-Zannettacci, P. ‡q (Paul)
-
100 1 _ ‡a Franchi-Zannettacci, P. ‡q (Paul)
-
100 1 _
‡a
Franchi-Zannettacci, P.
‡q
(Paul)
-
100 1 _ ‡a Franchi-Zannettacci, Paul
-
100 1 _ ‡a Franchi-Zannettacci, Paul
-
100 1 _
‡a
Franchi-Zannettacci, Paul
-
100 1 _
‡a
Franchi-Zannettacci, Paul,
‡d
19..-....
-
100 1 _ ‡a Franchi-Zannettacci, Paul.
4xx's: Alternate Name Forms (7)
Works
| Title | Sources |
|---|---|
| Attributs sémantiques et schémas de programmes |
|
| AUTOGRAPH : un outil de visualisation pour les calculs de processus |
|
| Une automatisation du calcul des résidus en sémantique naturelle |
|
| An automatization of residual computations in natural semantics. |
|
| CAAP '86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, proceedings |
|
| Chemotherapy of cancer dissemination and metastasis |
|
| Compiling typol programs with attribute grammars. |
|
| Computer algebra tools for the dynamics of multibody systems. |
|
| Construction automatisée des compilateurs : le système CIGALE |
|
| Contribution au service des polices de caractères dans le système de fenêtres X |
|
| CONTRIBUTION AU TRAITEMENT DES CONTRAINTES DISJONCTIVES ET A L'ETUDE DE LA COMPLEXITE PRATIQUE DES PROBLEMES NP-COMPLETS |
|
| Contribution to the front service in the X windows system. |
|
| Coopération entre systèmes à base de connaissances et outils de CAO : l'environnement multi-agent ANAXAGORE |
|
| THE DESIGN AND MANAGEMENT OF CONTEXT-CONTROLLED DOCUMENTS. |
|
| DISJUNCTIVE CONSTRAINT PROCESSING AND THE PRACTICAL COMPLEXITY OF NP-COMPLETE PROBLEMS. |
|
| D'un paragrapheur à un éditeur synthaxique et graphique pour le langage ESTEREL |
|
| EDITION DE RESSOURCES DANS UN ENVIRONNEMENT INTERACTIF |
|
| EGERIE: AN EMBEDDED INTERPRETER FOR A USER INTERFACE MANAGEMENT SYSTEM. |
|
| EGERIE : UN INTERPRETE EMBARQUE DANS UN SYSTEME DE GESTION D'INTERFACES HOMME-MACHINE |
|
| ESTEREL V4 : une extension modulaire d'ESTEREL |
|
| Étude de mécanismes d'interprétation de contraintes et de leur intégration dans un système à base de connaissances |
|
| From a pretty printer to a graphical syntaxic editor for the ESTEREL language. |
|
| Génération de serveurs de vues : dérivation incrémentale de structures abstraites : cohérence de représentations externes distribuées |
|
| GESTION ET CONCEPTION DE DOCUMENTS STRUCTURES PAR LE CONTEXTE |
|
| Handling engineering specifications : application to design expert systems. |
|
| Introduction of modularity in attributes grammars. |
|
| Un modèle objet logique et relationnel : le langage OTHELO |
|
| Objectivada: an object oriented extension of ada. Application to an environment for expert-system design. |
|
| On the cooperation between knowledge bases : a reflexif array. |
|
| Outils formels pour la modélisation en mécanique |
|
| Prise en compte de spécifications en ingénierie : application aux systèmes experts de conception |
|
| Problèmes de réutilisation liés au typage : application à une extension du langage ADA |
|
| REFLECTIVE INTEGRATION OF DEPENDENCIES IN A CLASS BASED OBJECT MODEL. |
|
| Sémantique des fenêtres dans le système de fenêtrage X pour les gestionnaires externes d'espaces de travail |
|
| Spécifications par attributs sémantiques pour la génération d'éditeurs structurés graphiques incrémentaux |
|
| Study of constraint interpretation mechanisms and of their integration in a knowledge based system. |
|
| Un tableau réflexif pour la coopération de bases de connaissances |
|
| TOWARDS A FORMALIZATION OF PARTIAL EVALUATION. |
|
| Transformations automatiques de spécifications sémantiques : application : un vérificateur de types |
|
| Translation of process calculi. |
|
| Unification-free execution of TYPOL programs by semantic attribute evaluation |
|
| Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO |
|
| Vers une formalisation de l'évaluation partielle |
|
| Window semantics in the X Window system for the external workspace managers. |
|
