Kirchner, Claude.
Kirchner, Claude, 1951-....
Claude Kirchner chercheur
VIAF ID: 2546701 ( Personal )
Permalink: http://viaf.org/viaf/2546701
Preferred Forms
- 100 0 _ ‡a Claude Kirchner ‡c chercheur
-
-
- 100 1 _ ‡a Kirchner, Claude
-
-
-
- 100 1 0 ‡a Kirchner, Claude
-
- 100 1 _ ‡a Kirchner, Claude
-
-
- 100 1 _ ‡a Kirchner, Claude, ‡d 1951-....
-
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Algèbre galactique, un procédé de calcul formel, relatif aux semi-fonctions, à l'inclusion et à l'égalité | |
Algèbres touffues : application au typage polymorphe des objets enregistrements dans les langages fonctionnels | |
Anti-matching constraints and programming with rewrite rules. | |
Une approche déductive de la résolution de problèmes de satisfaction de contraintes | |
Associative-commutative computation, study and presentation of unifac system. | |
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings | |
CADE-15 | |
Calculs associatifs commutatifs, étude et réalisation du système Unifac | |
Certified reasoning on real numbers and objects in co-inductive type theory | |
Concurrent rewriting. | |
Contraintes d'anti-filtrage et programmation par réécriture | |
Contribution à la résolution d'équations dans les algèbres libres et les variétés équationnelles d'algèbres | |
Déduction avec contraintes et simplification dans les théories équationnelles | |
Deduction with symbolic constaints | |
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage | |
Design of a programming language dedicated to program analysis and transformation. | |
ELAN : a logical framework for prototyping logic programming languages with constraints. | |
ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes | |
Étude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée | |
Galactic algebra. A formal calculus connected with semi-functions, inclusion and equality. | |
The graph rewriting calculus : properties and expressive capabilities | |
Linear diophantine constraints : solving and cooperation of solvers. | |
monde de l'internet des objets des dynamiques à maîtriser | |
Pour une éthique du numérique | |
Programming with equalities, subsorts, overloading and parameterization in OBJ | |
Proof Automation for Atelier B Rules Verification. | |
Proof by induction in sequent calculus modulo. | |
Questions d'éthique au temps de la COVID-19 : avis du CCNE et du CNPEN 2020-2021 | |
Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs. | |
Réécriture et compilation de confiance | |
Réécriture et modularité pour les politiques de sécurité | |
Représentation et interaction des preuves en superdéduction modulo | |
Rewriting and modularity for security policies. | |
Rewriting and trustworthy compilation. | |
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday | |
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings | |
RTA-93 | |
La sécurité de l'individu numérisé : réflexions prospectives et internationales : actes du colloque du programme de recherche Asphales, ACI-Informatique, Paris, 22 et 23 novembre 2007 | |
Software architecture and algorithms for solving the radiance equation. | |
Structures et modèles de calculs de réécriture | |
Super circus. | |
Système de preuve modulo récurrence | |
Techniques de réécriture pour le traitement de problème de routage dans les graphes de Cayley | |
Terminaison à base de tailles : sémantique et généralisations | |
Terminaison en temps moyen fini de systèmes de règles probabilistes | |
Termination within a finite mean time of probabilistic rules based systems. | |
Tools for automated deduction in associative-commutative theories. | |
A type system for embedded rewriting programming. | |
Typing and deduction in the rewriting calculus. | |
Unification | |
Using rewriting techniques to solve routing problems in Cayley graphs. |