List of bibliographic references
Number of relevant bibliographic references: 4.
| Ident. | Authors (with country if any) | Title |
|---|
| 000320 (2011) |
S. Thiele-Bruhn | Book Review: Blume, H.‐P., Felix‐Hennigsen, P., Frede, H.‐G., Horn, R., Stahr, K., Guggenberger, G. (Hrsg.): Handbuch der Bodenkunde. 21. bis 34. Erg�nzungslieferung, 2005‐2010. |
| 001001 (2002) |
Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Automatic Complexity Analysis |
| 001073 (2001) |
Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne] | Control-Flow Analysis in Cubic Time |
| 001342 (2002) |
Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "horn"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i \
-Sk "horn" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Rhénanie
|area= UnivTrevesV1
|flux= Istex
|étape= Curation
|type= indexItem
|index= AbsEn.i
|clé= horn
}}
| This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024 |  |
