M. Henryon < M. Hermann < M. Hilario

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
002855 (1996)	M. Hermann	The First-Order Theory of Primal Grammars is Decidable and Semilinear
002875 (1996)	M. Hermann ; P.-G. Kolaitis	Unification Algorithms cannot be Combined in Polynomial Time
002909 (1996)	N. Creignou ; M. Hermann	Complexity of Generalized Satisfiability Counting Problems
002F66 (1994)	M. Hermann ; P. G. Kolaitis	The Complexity of Counting Problems in Equational Matching
003222 (1993)	A. Amaniss ; M. Hermann ; D. Lugiez	Etude comparative des méthodes de schématisation de séquences infinies de termes du premier ordre
003359 (1993)	N. Creignou ; M. Hermann	Complexity of Generalized Satisfiability Counting Problems
003480 (1993)	N. Creignou ; M. Hermann	On #{P}-completeness of some Counting Problems
003651 (1992)	M. Hermann	On the Relation between Primitive Recursion, Schematization, and Divergence
003675 (1992)	R. Galbavy ; M. Hermann	Unification of Infinite Sets of Terms Schematized by Primal Grammars
003923 (1991)	M. Hermann	On the Relation between Primitive Recursion, Schematization and Divergence
003A05 (1991)	M. Hermann	On Proving Properties of Completion Strategies
003A06 (1991)	M. Hermann	On Proving Properties of Completion Strategies
003A34 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of Term Rewriting Systems
003A72 (1990)	M. Hermann	Chain Properties of Rule Closures
003B03 (1990)	H. Kirchner ; M. Hermann	Meta-rules Synthesis from Crossed Rewrite Systems
003B29 (1990)	M. Hermann	Divergent Term Rewriting Systems
003D07 (1989)	M. Hermann	Chain Properties of Rule Closures
003D22 (1989)	M. Hermann	Crossed Term Rewriting Systems
003D84 (1989)	M. Hermann	Some Examples on Inference Rules with Control Case Study in Sorting
003E01 (1989)	M. Hermann	Lazy Completion of Term Rewriting Systems
003F34 (1988)	M. Hermann	Vademecum of Divergent Term Rewriting Systems

---

List of associated KwdEn.i

Nombre de documents	Descripteur
4	counting class
4	divergence
3	#P-completeness
3	counting problem
2	meta-rules
2	term rewriting systems
1	Knuth-Bendix completion procedure
1	Reveal
1	call by need
1	canonical system
1	closure
1	completion
1	completion strategies
1	correctness
1	couting problem
1	crossed rewrite systems
1	crossed system
1	crossed systems
1	divergence of completion
1	equational matching
1	failure
1	fairness
1	first order term
1	generalized satisfiability
1	justice
1	primitive recursion
1	process logic
1	reference rules programming
1	rewriting
1	rewriting systems divergent
1	schematisation
1	schematization
1	semi-canonical system
1	some rewriting systems
1	success
1	term-rewriting systems
1	theorem proving

---

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/Author.i -k "M. Hermann" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "M. Hermann" \
         | 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=    Author.i
   |clé=    M. Hermann
}}

---

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