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 « C. Ringeissen »
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.
C. Retore < C. Ringeissen < C. Ritzenthaler  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 7.
Ident.Authors (with country if any)Title
000767 (2002) M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France]The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration
000999 (2000) C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000A27 (2000) M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas]ASF+SDF parsing tools applied to ELAN
000B30 (1998) E. Monfroy [Pays-Bas] ; C. Ringeissen [France]SoleX : A domain-independent scheme for constraint solver extension
000C12 (1997) C. Ringeissen [France]Prototyping combination of unification algorithms with the ELAN rule-based programming language
000C25 (1997) C. Kirchner [France] ; C. Ringeissen [France]Higher-order equational unification via explicit substitutions
000D00 (1996) C. Ringeissen [France]Combining decision algorithms for matching in the union of disjoint equational theories

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2Algorithme
2Informatique théorique
2Langage programmation
2Programmation logique
2Programmation logique avec contrainte
2Réécriture
2Unification
10260C
1Algorithme unification
1Analyseur syntaxique
1Arbre décision
1Architecture logiciel
1Composant logiciel
1Concordance forme
1Constraint handling rules
1Constraint propagation
1Constraint solving technique
1Declarative programming
1Deduction rules
1Déduction
1Définition
1Démonstration automatique
1Démonstration système
1Démonstration théorème
1ELAN language
1Environnement programmation
1Finite domain
1Format intermédiaire
1Génération automatique
1Intelligence artificielle
1Intégration
1Lambda calcul
1Langage spécification
1Logique
1Méthode mixte
1Non déterminisme
1Problème combinatoire
1Programmation déclarative
1Programmation fonctionnelle
1Restriction ordre
1Robotique
1Règle calcul
1Règles déduction
1Résolution(math)
1Satisfaction contrainte
1Spécification formelle
1Système réécriture
1Technique résolution contrainte
1Théorie équationnelle
1Unification algorithm

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 "C. Ringeissen" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "C. Ringeissen" \
         | 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é=    C. Ringeissen
}}
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