Nacer Boudjlida < Nachum Dershowitz < Nada Sasson | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 10.Ident. | Authors (with country if any) | Title |
---|---|---|
000495 (1998) | Nachum Dershowitz ; Ralf Treinen | An on-line problem database |
000913 (1993) | Nachum Dershowitz | A taste of rewrite systems |
001078 (2007) | Nachum Dershowitz ; Georg Moser | The Hydra Battle Revisited |
001C65 (2009) | Nachum Dershowitz | On Lazy Commutation |
001C97 (1999) | Nachum Dershowitz ; Subrata Mitra | Jeopardy |
002467 (1985) | Nachum Dershowitz | Termination |
002908 (1988) | Nachum Dershowitz ; Mitsuhiro Okada ; G. Sivakumar | Canonical conditional rewrite systems |
002942 (1995) | Nachum Dershowitz ; Jean-Pierre Jouannaud ; Jan Willem Klop | Problems in rewriting III |
003419 (1988) | Nachum Dershowitz ; G. Sivakumar | Solving goals in equational languages |
003611 (1986) | Leo Bachmair ; Nachum Dershowitz | Commutation, transformation, and termination |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/Author.i -k "Nachum Dershowitz"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/Author.i \ -Sk "Nachum Dershowitz" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Istex |étape= Corpus |type= indexItem |index= Author.i |clé= Nachum Dershowitz }}
This area was generated with Dilib version V0.6.33. |