M. Henryon < M. Hermann < M. Hibert

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by M. Hermann

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

Ident.	Authors (with country if any)	Title
00BD93 (1996)	M. Hermann	The First-Order Theory of Primal Grammars is Decidable and Semilinear
00BE13 (1996)	M. Hermann ; P.-G. Kolaitis	Unification Algorithms cannot be Combined in Polynomial Time
00BE47 (1996)	N. Creignou ; M. Hermann	Complexity of Generalized Satisfiability Counting Problems
00C997 (1994)	M. Hermann ; P. G. Kolaitis	The Complexity of Counting Problems in Equational Matching
00CE22 (1993)	A. Amaniss ; M. Hermann ; D. Lugiez	Etude comparative des méthodes de schématisation de séquences infinies de termes du premier ordre
00CF59 (1993)	N. Creignou ; M. Hermann	Complexity of Generalized Satisfiability Counting Problems
00D080 (1993)	N. Creignou ; M. Hermann	On #{P}-completeness of some Counting Problems
00D394 (1992)	M. Hermann	On the Relation between Primitive Recursion, Schematization, and Divergence
00D418 (1992)	R. Galbavy ; M. Hermann	Unification of Infinite Sets of Terms Schematized by Primal Grammars
00D846 (1991)	M. Hermann	On the Relation between Primitive Recursion, Schematization and Divergence
00D928 (1991)	M. Hermann	On Proving Properties of Completion Strategies
00D929 (1991)	M. Hermann	On Proving Properties of Completion Strategies
00D957 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of Term Rewriting Systems
00DB00 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of term rewriting systems
00DB27 (1990)	M. Hermann	Chain Properties of Rule Closures
00DB58 (1990)	H. Kirchner ; M. Hermann	Meta-rules Synthesis from Crossed Rewrite Systems
00DB84 (1990)	M. Hermann	Divergent Term Rewriting Systems
00DE76 (1989)	M. Hermann	Chain Properties of Rule Closures
00DE91 (1989)	M. Hermann	Crossed Term Rewriting Systems
00DF53 (1989)	M. Hermann	Some Examples on Inference Rules with Control Case Study in Sorting
00DF70 (1989)	M. Hermann	Lazy Completion of Term Rewriting Systems

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "M. Hermann" 

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

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

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