Jouannaud, Jean-Pierre
Jouannaud, Jean-Pierre, 1947-
Jean-Pierre Jouannaud
VIAF ID: 41941982 ( Personal )
Permalink: http://viaf.org/viaf/41941982
Preferred Forms
- 100 0 _ ‡a Jean-Pierre Jouannaud
-
-
-
- 100 1 _ ‡a Jouannaud, Jean-Pierre
-
-
- 100 1 _ ‡a Jouannaud, Jean-Pierre
- 100 1 _ ‡a Jouannaud, Jean-Pierre
-
-
-
- 100 1 _ ‡a Jouannaud, Jean-Pierre ‡d 1947-
- 100 1 _ ‡a Jouannaud, Jean-Pierre ‡d 1947-
-
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday | |
Algorithmes numériques à complexité réduite pour annulation d'écho adaptative | |
Algorithms for detecting recurrence relations : application to the synthesis and transformation of programs. | |
UNE APPROCHE ALGEBRIQUE DE LA REECRITURE ET SON APPLICATION A LA DERIVATION DE PROCEDURES DE COMPLETION | |
Approche incrémentale des preuves automatiques de terminaison | |
Automatic proofs by induction in theories without constructors | |
CCL'94 | |
Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings | |
Conditional formulas proof in algebraic conditional specifications. | |
Conditional term rewriting systems : 1st International Workshop Orsay, France, July 8-10, 1987, proceedings | |
Confluence properties of rewrite rules by decreasing diagrams | |
Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings | |
CONTRIBUTION TO THE STUDY OF STRONG SEQUENTIALITY OF FUNCTION'S DEFINITIONS BY RULES. | |
Cours d'informatique : mémento Fortran : promotion 1977 | |
ECOLOG: AN ENVIRONMENT FOR CONSTRAINT LOGICS. | |
ELEMENTS POUR LA DECIDABILITE DE L'UNIFICATION MODULO LA DISTRIBUTIVITE | |
Étude et réalisation d'un langage objet : LORE | |
Extending higher-order logic with predicate subtyping : application to PVS | |
Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. | |
Filtres digitaux autoadaptifs : algorithmes de calcul et simulation | |
Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 | |
LAMBDIX : un interprète LISP à liaison lexicale et évaluation paresseuse | |
Large fault-tolerant interconnection networks. | |
LQAS: Un systeme question-response base sur l'apprentissage avec professeur | |
Méthodes de filtrage équationnel et de preuve automatique de théorèmes | |
Méthodes et outils de conception systématique d'algorithmes d'unification dans les théories équationnelles | |
Methods of equational filtering and automatic theorem proving. | |
MODELES DE CALCULS MULTIPARADIGMES FONDES SUR LA REECRITURE | |
Modules in type theory with generative definitions | |
MULTIPARADIGM COMPUTATIONAL MODELS BASED ON REWRITING. | |
Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. | |
Preuves par complétion dans les variétés d'algèbres | |
Problems in rewriting 3 | |
Programming with equalities, subsorts, overloading and parameterization in OBJ | |
Proof by completion in algevra varieties. | |
Propriétés uniformes de familles de systèmes de réécriture de mots paramétrées par des entiers | |
Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories equationnelles | |
Résistance aux pannes de grands réseaux d'interconnexion | |
Rewrite proofs and computations | |
Rewriting techniques and applications | |
SA par exemple : un système intégré d'apprentissage de concepts à partir d'exemples | |
Solving equations in abstract algebras : a rule-based survey of unification | |
Spécification algébrique de types de données à accès concurrent | |
Stereopsis and motion perception in computer vision. | |
Stratégies efficaces et modèles d'implantation pour les langages fonctionnels | |
Studies in object-oriented programming : the lore langage. | |
Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples | |
Synthèse de programmes à partir de spécifications | |
TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings | |
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [!] , France, May 17-21, 1993 : advanced course | |
Termination of rewriting in the calculus of constructions | |
Théories des types et procédures de décisions | |
TREQUASI : un système pour la transformation automatique de programmes PROLOG récursifs en quasi-itératifs | |
Unification in Boolean rings and Abelian groups | |
UNIFICATION IN COMBINATIONS OF EQUATIONAL THEORIES. | |
Uniform properties of families of string rewriting systems parameterized by integers | |
Utilisation des systèmes de réécriture d'expressions fonctionnelles comme outils de transformation de programmes itératifs | |
Validation des spécifications algébriques par complétion inductives | |
Vision stéréoscopique et perception du mouvement en vision artificielle |