M. Roux < M. Rusinowitch < M. Rusinowtich

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 62.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
00D426 (1994)	J.-L. Rémy ; M. Rusinowitch	Special Issue on Conditional Term Rewriting Systems
00D705 (1993)	M. Chtourou ; M. Rusinowitch	Méthode transformationnelle pour la preuve de terminaison des programmes logiques
00D869 (1993)	A. Bouhoula ; M. Rusinowitch	Automatic Case Analysis in Proof by Induction
00D870 (1993)	A. Bouhoula ; M. Rusinowitch	Automatic Case Analysis in Proof by Induction
00D916 (1993)	A. Bouhoula ; M. Rusinowitch	Implicit Induction on the Computer
00D917 (1993)	P. Narendran ; M. Rusinowitch	The Unifiability Problem in Ground AC Theories
00D932 (1993)	A. Bouhoula ; M. Rusinowitch	Case Analysis for Implicit Induction
00D974 (1993)	B. El Ayeb ; P. Marquis ; M. Rusinowitch	Preferring Diagnoses by Abduction
00DC12 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	SPIKE, An Automatic Theorem Prover
00DD44 (1992)	J. Hsiang ; H. Kirchner ; Pierre Lescanne [France] ; M. Rusinowitch	The Term Rewriting Approach to Automated Theorem Proving
00DD62 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction with Test Sets
00E091 (1991)	E. Kounalis ; M. Rusinowitch	On Word Problems in Horn Theories
00E092 (1991)	B. El Ayeb ; P. Marquis ; M. Rusinowitch	Preferring Diagnoses by Adduction
00E138 (1991)	P. Narendran ; M. Rusinowitch	Any Ground Associative-commutative Theory has a Finite Canonical System
00E139 (1991)	J. Hsiang ; M. Rusinowitch	Proving Refutational Completeness of Theorem-Proving Strategies : The Transfinite Semantic Tree Method
00E196 (1991)	M. Rusinowitch	Theorem-proving with Resolution and Superposition
00E198 (1991)	E. Kounalis ; M. Rusinowitch	Automatic Proof Methods for Algebraic Specifications
00E215 (1991)	E. Kounalis ; M. Rusinowitch	Studies on the Ground Convergence Property of Conditional Theories
00E216 (1991)	P. Narendran ; M. Rusinowitch	The Unifiability Problem in Ground AC Theories
00E362 (1991)	M. Rusinowitch [France] ; L. Vigneron [France]	Automated deduction with associative commutative operators
00E377 (1991)	M. Rusinowitch [France]	Theorem-proving with resolution and superposition

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "M. Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "M. Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    M. Rusinowitch
}}

---

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