Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « Claude Kirchner »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Claude Houssemand < Claude Kirchner < Claude Laurenco  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000170 (2010) Guillaume Burel [France] ; Claude Kirchner [France]Regaining cut admissibility in deduction modulo using abstract completion
000363 (2006) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the confluence of λ-calculus with conditional rewriting
000381 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
000386 (2006) Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
000403 (2006) Guillaume Burel [France] ; Claude Kirchner [France]Completion Is an Instance of Abstract Canonical System Inference
000411 (2006) Nachum Dershowitz [Israël] ; Claude Kirchner [France]Abstract canonical presentations
000572 (2004) Claude Kirchner [France] ; Hélène Kirchner [France]Rule-based programming and proving: The ELAN experience outcomes
000679 (2003) Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriPure patterns Type systems
000681 (2003) Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]Proof search and proof check for equational and inductive theorems
000779 (2002) Olivier Bournez [France] ; Claude Kirchner [France]Probabilistic rewrite strategies. Applications to ELAN
000808 (2002) Germain Faure [France] ; Claude Kirchner [France]Exceptions in the rewriting calculus
000809 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
000813 (2002) Eric Deplagne [France] ; Claude Kirchner [France]Deduction versus computation: The case of induction
000827 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding logic: Proofs and models
000877 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho cube
000900 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching power
000911 (2001) Hubert Comon [France] ; Claude Kirchner [France]Constraint solving on terms

List of associated FC03.fr.i

Nombre de
documents		Descripteur
11Réécriture
5Démonstration théorème
4Lambda calcul
3Concordance forme
3Langage programmation
2Base connaissance
2Calcul réécriture
2Complétion
2Complétude
2Confluence
2Démonstration automatique
2Développement logiciel
2Induction
2Informatique théorique
2Logique ordre 1
2Relation ordre
2Rho calcul
2Système réécriture
2Sémantique
2Théorie équationnelle
1.
168Q42
168T15
1Admissibilité
1Algorithme
1Algèbre
1Approche probabiliste
1Automate arbre
1Automate fini
1Binding logic
1Calcul Rho
1Calcul formel
1Calcul lambda
1Calcul symbolique
1Calcul séquent
1Canonicité
1Codage
1Congruence
1Consistance sémantique
1Déduction
1Déduction naturelle
1Déploiement
1Environnement programmation
1Forme normale
1Inférence
1Interrogation base donnée
1Invariant
1Isomorphisme
1Knuth Bendix
1Langage ELAN
1Langage JAVA
1Langage dédié
1Langage évolué
1Logique
1Logique algébrique
1Logique formelle
1Logique équationnelle
1Modularité
1Modèle logique
1Mu calcul
1Méthode formelle
1Non déterminisme
1Orienté objet
1Orthogonalité
1Preuve
1Problème mot
1Procédure
1Programmation basée règle
1Programmation logique
1Programmation logique avec contrainte
1Puissance
1Randomisation
1Reconnaissance forme
1Redondance
1Relation ordre preuve
1Remplacement
1Représentation connaissances
1Règle inférence
1Réduction système
1Réécriture canonique
1SQL
1Satisfaction contrainte
1Saturation
1Stratégie réécriture
1Syntaxe
1Système ELAN
1Système algébrique
1Système calcul
1Système deductif
1Système expert
1Système réduction combinatoire
1Système réécriture terme
1Sémantique opérationnelle
1Term rewriting systems
1Théorie preuve
1Théorie stratégie
1Théorie type
1Tâche appariement
1Unification
1Vérification programme

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Claude Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Claude Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Claude Kirchner
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022