Keywords
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Keywords » - entrée « resolution »
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.
reservation in advance < resolution < resolution principle  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000A03 (2003) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
001711 (2001) Jürgen StuberA Model-based Completeness Proof of Extended Narrowing And Resolution
002245 (1998) Fabrice RouillierSolving zero-dimensional systems through the Rational Univariate Representation
002C80 (1995) Michael Rusinowitch ; Laurent VigneronAutomated Deduction with Associative Commutative Operators
002E81 (1994) Laurent VigneronDéduction automatique avec contraintes symboliques dans les théories équationnelles
003033 (1994) Laurent VigneronAssociative-Commutative Deduction with Constraints
003149 (1994) Laurent VigneronSuperposition in AC Theories : Proof of Completeness by Semantic Trees
003835 (1991) A. BouhoulaPreuve automatique par paramodulation, réécriture et induction
003938 (1991) J. Hsiang ; M. RusinowitchProving Refutational Completeness of Theorem-Proving Strategies : The Transfinite Semantic Tree Method
003A96 (1990) F. AlexandreUne transformation de programmes logiques en systèmes de réécriture
003C20 (1990) F. AlexandreA Transformation of Logic Programs into Term Rewrite Systems
003E80 (1988) E. Kounalis ; M. RusinowitchOn word problems in Horn theories
003F13 (1988) M. RusinowitchTheorem-proving with Resolution and Superposition : An Extension of Knuth and Bendix Procedure as a Complete Set of Inference Rules.
004017 (1987) M. RusinowitchDémonstration automatique par des techniques de réécriture
004097 (1987) M. RusinowitchTheorem-proving with resolution and superposition : an extension of Knuth and Bendix procedure as a complete set of inference rules
004425 (1984) N. BoudjlidaSINDBAD : un système expérimental d'aide à la spécification et à l'utilisation de bases de données déductives
004437 (1984) J. DurandLOGRE : un prototype de système de programmation en logique utilisant des techniques de réécriture

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "resolution" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "resolution" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    resolution
}}
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