| Isometry < Isomorphic < Isomorphic economy | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002454 (1999) | K. Stokkermans [Autriche] | A Categorical Critical-pair Completion Algorithm |
| 002E22 (1993) | Eddy Bevers [Belgique] ; Johan Lewi [Belgique] | Proving termination of (conditional) rewrite systems |
| 003023 (1992) | Joost Engelfriet [Pays-Bas] ; Linda Heyker [Pays-Bas] | Context-free hypergraph grammars have the same term-generating power as attribute grammars |
| 003545 (1987) | Michel Bauderon [France] ; Bruno Courcelle [France] | Graph expressions and graph rewritings |
| 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 "Isomorphic"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i \
-Sk "Isomorphic" \
| 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é= Isomorphic
}}
| This area was generated with Dilib version V0.6.33. |  |