M. Ranganathan < M. Rusinowitch < M. S. Gandikota

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000144 (1985)	M. Rusinowitch	Path of subterms ordering and recursive decomposition ordering revisted
000150 (1985)	P. Bouchet ; A. Napoli ; M. Rusinowitch	Algorithmes sur les mots de DYCK - Applications en biologie
000222 (1985)	J. Hsiang ; M. Rusinowitch	On word problems in equational theories - Extend abstract -
000259 (1986)	J. Hsiang ; M. Rusinowitch	A new method for establishing refutational completeness in theorem proving
000327 (1986)	J. Durand ; M. Rusinowitch	Vers une méthodologie de programmation en logique : à propos d'une classe de problèmes
000357 (1986)	M. Rusinowitch	On termination of the direct sum of term rewriting systems
000402 (1987)	M. Rusinowitch	On termination of the direct sum of term rewriting systems
000407 (1987)	J. Hsiang ; M. Rusinowitch ; K. Sakai	Complete inference rules for the cancellation laws
000506 (1987)	M. Rusinowitch	Theorem-proving with resolution and superposition : an extension of Knuth and Bendix procedure as a complete set of inference rules
000527 (1987)	M. Rusinowitch	Démonstration automatique par des techniques de réécriture
000543 (1988)	E. Kounalis ; M. Rusinowitch	On word problems in Horn theories
000656 (1988)	M. Rusinowitch	Theorem-proving with Resolution and Superposition : An Extension of Knuth and Bendix Procedure as a Complete Set of Inference Rules.
000873 (1990)	E. Kounalis ; M. Rusinowitch	Mechanizing Inductive Reasoning
000890 (1990)	B. El Ayeb ; P. Marquis ; M. Rusinowitch	A New Diagnosis Approach by Deduction and Abduction
000904 (1990)	E. Kounalis ; M. Rusinowitch	Discovering New Facts for First-Order Knowledge-Based Systems
000905 (1990)	E. Kounalis ; M. Rusinowitch	A Logical Basis for Learning in Robots Worlds
000906 (1990)	E. Kounalis ; M. Rusinowitch	A Proof System for Conditional Specification
000908 (1990)	E. Kounalis ; M. Rusinowitch	A Mechanization of Conditional Reasoning
000912 (1990)	B. El Ayeb ; P. Marquis ; M. Rusinowitch	Deductive/Abductive Diagnosis : The DA-Principles
000964 (1990)	E. Monfroy ; M. Rusinowitch ; R. Schott	Spécification opérationnelle des contraintes géométriques
000A10 (1990)	C. Kirchner ; H. Kirchner ; M. Rusinowitch	Deduction with Symbolic Constraints

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/Author.i -k "M. Rusinowitch" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |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