| Lennart C. L. Kats < Leo Bachmair < Leo Frkanec | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 007865 (2003) | Leo Bachmair ; Ashish Tiwari ; Laurent Vigneron | Abstract Congruence Closure |
| 007E82 (2003) | Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France] | Abstract Congruence Closure |
| 008150 (2003) | Leo Bachmair ; Ashish Tiwari ; Laurent Vigneron [France] | Abstract Congruence Closure |
| 009E00 (2000-03) | Leo Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; Ashish Tiwari [États-Unis] ; Laurent Vigneron [France] | Congruence Closure modulo Associativity-Commutativity |
| 00A119 (2000) | Leo Bachmair ; I. V. Ramakrishnan ; Ashish Tiwari ; Laurent Vigneron | Congruence Closure modulo Associativity-Commutativity |
| 00F136 (1986) | Leo Bachmair [États-Unis] ; Nachum Dershowitz [États-Unis] | Commutation, transformation, and termination |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "Leo Bachmair"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i \
-Sk "Leo Bachmair" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= indexItem
|index= Author.i
|clé= Leo Bachmair
}}
| This area was generated with Dilib version V0.6.33. |  |