theorem prover methodology < theorem proving < theorem-proving

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 44.
[0-20] [0 - 20][0 - 44][20-40]

Ident.	Authors (with country if any)	Title
000058 (1984)	J. Durand	Une stratégie de réécriture pour les programmes logiques
000119 (1984)	H. Zhang	REVEUR 4 : étude et mise en œuvre de la réécriture conditionnelle
000121 (1984)	J. Durand	LOGRE : un prototype de système de programmation en logique utilisant des techniques de réécriture
000147 (1985)	J.-L. Rémy ; H. Zhang	REVEUR 4 : a system to proceed experiments on conditional term rewriting systems
000203 (1985)	J.-L. Rémy	Postdoctoral research in computer science : An assessment of the researches on conditional term rewriting systems ; final report
000209 (1985)	A. Lazrek	Implémentation d'un prouveur de théorèmes inductifs dans le système REVE
000259 (1986)	J. Hsiang ; M. Rusinowitch	A new method for establishing refutational completeness in theorem proving
000393 (1987)	W. Bousdira ; J.-L. Rémy	Complétion des systèmes de réécriture conditionnelle
000440 (1987)	S. Kaplan ; J.-L. Rémy	Completion algorithms for conditional rewriting systems
000534 (1988)	W. Bousdira ; J.-L. Rémy	Hierarchical contextual rewriting with several levels
000571 (1988)	W. Bousdira	A Completion Procedure for Hierarchical Conditional Equations
000686 (1988)	W. Bousdira ; J.-L. Rémy	Hierarchical Contextual Rewriting with Several Levels
000833 (1990)	Millerand	On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings
000908 (1990)	E. Kounalis ; M. Rusinowitch	A Mechanization of Conditional Reasoning
000C36 (1991)	M. Rusinowitch	Theorem-proving with Resolution and Superposition
000D34 (1992)	I. Gnaedig	ELIOS-OBJ Theorem Proving in a Specification Language
000E51 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	SPIKE, An Automatic Theorem Prover
000F31 (1992)	J. Hsiang ; H. Kirchner ; P. Lescanne ; M. Rusinowitch	The Term Rewriting Approach to Automated Theorem Proving
001134 (1993)	A. Amaniss ; M. Hermann ; D. Lugiez	Etude comparative des méthodes de schématisation de séquences infinies de termes du premier ordre
001221 (1993)	A. Bouhoula ; M. Rusinowitch	Automatic Case Analysis in Proof by Induction
001527 (1994)	H. Kirchner ; C. Ringeissen	Combining Symbolic Constraint Solvers on Algebraic Domains

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "theorem proving" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "theorem proving" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    theorem proving
}}

---

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