Franchi-Zannettacci, Paul, 19..-....
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. ‡q (Paul)
-
-
-
100 1 _ ‡a Franchi-Zannettacci, P. ‡q (Paul)
-
-
-
100 1 _ ‡a Franchi-Zannettacci, Paul
-
100 1 _ ‡a Franchi-Zannettacci, Paul, ‡d 19..-....
-
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. |
![]() |
COOPERATION ENTRE SYSTEMES A 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. |
![]() |