| Quantification vectorielle < Quantifier < Quantifier elimination | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002212 (1999) | Survey of book | |
| 002593 (1998) | Rolf Backofen [Allemagne] ; Ralf Treinen [France] | How to Win a Game with Features |
| 002A39 (1995) | Abdelillah Mokkedem [France] ; Dominique Méry [France] | On using temporal logic for refinement and compositional verification of concurrent systems |
| 002A73 (1995) | Rolf Backofen [Allemagne] | A complete axiomatization of a theory with feature and arity constraints |
| 002D67 (1993) | Lingua | |
| 003112 (1991) | G. Marongiu [Italie] ; S. Tulipani [Italie] | Quantifier elimination for infinite terms |
| 003823 (1983) | Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne] | On hierarchies of abstract data types |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i -k "Quantifier"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i \
-Sk "Quantifier" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Checkpoint
|type= indexItem
|index= Teeft.i
|clé= Quantifier
}}
| This area was generated with Dilib version V0.6.33. |  |