Rhode Island < Rhénanie-Palatinat < Rhénanie-du-Nord-Westphalie

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 Rhénanie-Palatinat

Number of relevant bibliographic references: 15.

Ident.	Authors (with country if any)	Title
000B79 (2014-05-05)	Ingmar Steiner [Allemagne] ; Peter Knopp [Allemagne] ; Sebastian Musche [Allemagne] ; Astrid Schmiedel [Allemagne] ; Angelika Braun [Allemagne] ; Slim Ouni [France]	Investigating the effects of posture and noise on speech production
001585 (2013)	Hasan S. M. Al-Khaffaf [Allemagne, Malaisie] ; Abdullah Zawawi Talib [Malaisie] ; Mohd Azam Osman [Malaisie]	Final Report of GREC’11 Arc Segmentation Contest: Performance Evaluation on Multi-resolution Scanned Documents
003905 (2009)	Alexis Ocampo [Allemagne] ; Jürgen Münch [Allemagne]	Rationale modeling for software process evolution
003928 (2009)	Matthias Ehrgott [Nouvelle-Zélande] ; Çi Dem Güler [Allemagne] ; Horst W. Hamacher [Allemagne] ; Lizhen Shao [Nouvelle-Zélande]	Mathematical optimization in intensity modulated radiation therapy
004C88 (2007)	Laurent Dupont [France] ; Michael Hemmer [Allemagne] ; Sylvain Petitjean [France] ; Elmar Schömer [Allemagne]	Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics
006C08 (2004)	Jürgen Avenhaus [Allemagne]	Efficient Algorithms for Computing Modulo Permutation Theories
006C55 (2004)	Bernd Löchner [Allemagne]	A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting
00B360 (1998)	Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [Allemagne]	How to realize LSE narrowing
00C076 (1996)	Bernhard Gramlich [France] ; Claus-Peter Wirth [Allemagne]	Confluence of terminating conditional rewrite systems revisited
00CD55 (1994)	Andrea Sattler-Klein [Allemagne]	About changing the ordering during Knuth-Bendix completion
00D211 (1993)	Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne]	Computer-aided verification of software process model properties
00D686 (1992)	Thomas Dei [Allemagne]	Conditional semi-Thue systems for presenting monoids
00DA46 (1991)	J. Avenhaus [Allemagne]	Proving equational and inductive theorems by completion and embedding techniques
00DD57 (1990)	Jörg H. Siekmann [Allemagne]	Unification theory
00E341 (1988)	Karl Hans Bl Sius [Allemagne] ; Jörg H. Siekmann [Allemagne]	Partial unification for graph based equational reasoning

---

List of associated Author.i

Nombre de documents	Descripteur
2	Jörg H. Siekmann
1	Abdullah Zawawi Talib
1	Alexander Bockmayr
1	Alexis Ocampo
1	Alfred Bröckers
1	Andrea Sattler-Klein
1	Andreas Werner
1	Angelika Braun
1	Astrid Schmiedel
1	Bernd Löchner
1	Bernhard Gramlich
1	Claus-Peter Wirth
1	Elmar Schömer
1	Hasan S. M. Al-Khaffaf
1	Horst W. Hamacher
1	Ingmar Steiner
1	J. Avenhaus
1	Jürgen Avenhaus
1	Jürgen Münch
1	Karl Hans Bl Sius
1	Laurent Dupont
1	Lizhen Shao
1	Matthias Ehrgott
1	Michael Hemmer
1	Mohd Azam Osman
1	Peter Knopp
1	Sebastian Musche
1	Slim Ouni
1	Stefan Krischer
1	Sylvain Petitjean
1	Thomas Dei
1	Volker Gruhn
1	Çi Dem Güler

---

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/AffRegion.i -k "Rhénanie-Palatinat" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Rhénanie-Palatinat" \
         | 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=    AffRegion.i
   |clé=    Rhénanie-Palatinat
}}

---

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