VIAF

Virtual International Authority File

Search

Kirchner, Claude. Library of Congress/NACO Sudoc [ABES], France ISNI National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France

Kirchner, C. German National Library

VIAF ID: 2546701 (Personal)

Permalink: http://viaf.org/viaf/2546701

ISNI: 0000  0001  1585  9959 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (1)

Open Section Close SectionWorks

Title Sources
Algèbre galactique, un procédé de calcul formel, relatif aux semi-fonctions, à l'inclusion et à l'égalité Sudoc [ABES], France
Anti-matching constraints and programming with rewrite rules. Sudoc [ABES], France
Une approche déductive de la résolution de problèmes de satisfaction de contraintes Sudoc [ABES], France
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II Sudoc [ABES], France
Automated deduction CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
CADE-15 National Library of the Netherlands
CALCULS ASSOCIATIFS COMMUTATIFS, ETUDE ET REALISATION DU SYSTEME UNIFAC Sudoc [ABES], France
Certified reasoning on real numbers and objects in co-inductive type theory Sudoc [ABES], France
CONTRAINTES DIOPHANTIENNESLINEAIRES : RESOLUTION ET COOPERATION INTER-RESOLVEURS Sudoc [ABES], France
Contribution à la résolution d'équations dans les algèbres libres et les variétés équationnelles d'algèbres Sudoc [ABES], France
Déduction avec contraintes et simplification dans les théories équationnelles Sudoc [ABES], France
Deduction with symbolic constaints Sudoc [ABES], France
Définitions par réécriture dans le lambda-calcul confluence, réductibilité et typage Sudoc [ABES], France
Design of a programming language dedicated to program analysis and transformation. Sudoc [ABES], France
Etude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée Sudoc [ABES], France
Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration Sudoc [ABES], France
The graph rewriting calculus properties and expressive capabilities Sudoc [ABES], France
OUTILS POUR LA DEDUCTION AUTOMATIQUE DANS LES THEORIES ASSOCIATIVE-COMMUTATIVES Sudoc [ABES], France
Programming with equalities, subsorts, overloading and parameterization in OBJ Sudoc [ABES], France
Proof by induction in sequent calculus modulo. Sudoc [ABES], France
Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs. Sudoc [ABES], France
Réécriture et compilation de confiance Sudoc [ABES], France
Réécriture et modularité pour les politiques de sécurité Sudoc [ABES], France
Représentation et interaction des preuves en superdéduction modulo Sudoc [ABES], France
Rewriting and modularity for security policies. Sudoc [ABES], France
Rewriting and trustworthy compilation. Sudoc [ABES], France
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday Sudoc [ABES], France Library of Congress/NACO
Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
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 Sudoc [ABES], France
Software architecture and algorithms for solving the radiance equation. Sudoc [ABES], France
Structures et modèles de calculs de réécriture Sudoc [ABES], France
Système de preuve modulo récurrence Sudoc [ABES], France
Un système de types pour la programmation par réécriture embarquée Sudoc [ABES], France
Techniques de réécriture pour le traitement de problème de routage dans les graphes de Cayley Sudoc [ABES], France
Terminaison à base de tailles sémantique et généralisations Sudoc [ABES], France
Terminaison en temps moyen fini de systèmes de règles probabilistes Sudoc [ABES], France
Termination within a finite mean time of probabilistic rules based systems. Sudoc [ABES], France
A type system for embedded rewriting programming. Sudoc [ABES], France
Typing and deduction in the rewriting calculus. Sudoc [ABES], France
Unification National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section About

Open Section Close Section History of VIAF ID:2546701 (21)