JKSUCI < JLP < JMACRO | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 14.Ident. | Authors (with country if any) | Title |
---|---|---|
000398 (1998) | M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde] | Transformational methodology for proving termination of logic programs |
000B67 (1995) | Rolf Backofen [Allemagne] | A complete axiomatization of a theory with feature and arity constraints |
000D38 (1995) | Editorial Board | |
001222 (1996) | Editorial Board | |
001D86 (1996) | Editorial Board | |
001F19 (1995) | Maria Alpuente [Espagne] ; Moreno Falaschi [Espagne] ; Ferdinando Manzo [Espagne] | Analyses of unsatisfiability for equational logic programming |
002865 (2000) | Jianyang Zhou [France] | Introduction to the constraint language NCL |
002E04 (1996) | Editorial Board | |
003413 (1998) | Editorial Board | |
003475 (1997) | Editorial Board | |
003491 (1997) | Editorial Board | |
003946 (1998) | Editorial Board | |
003B60 (1996) | Donald A. Smith [Nouvelle-Zélande] | Multilog and data or-parallelism |
003C92 (1995) | Editorial Board |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i -k "JLP"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i \ -Sk "JLP" \ | 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/Lorraine |area= InforLorV4 |flux= Istex |étape= Curation |type= indexItem |index= ISSN.i |clé= JLP }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |