Teeft.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Teeft.i » - entrée « Heidelberg »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Heide < Heidelberg < Heidelberg germany doctor  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000154 (2013) ORAL PRESENTATIONS
000172 (2013) Sergei O. Kuznetsov [Russie] ; Jonas Poelmans [Russie, Belgique]Knowledge representation and processing with formal concept analysis
000A09 (2009) Register
000A14 (2009) REVIEWS
000D81 (2008) Monday 21st July 2008
000D89 (2008) List of Reviewers
002636 (1998) A. Werner [Allemagne]A Semantic Approach to Order-sorted Rewriting
002A34 (1995) Program the Annual Meeting of the American Gastroenterological Association and Digestive Disease Week
002B95 (1995) Michaël Rusinowitch [France] ; Laurent Vigneron [France]Automated deduction with associative-commutative operators
002E22 (1993) Eddy Bevers [Belgique] ; Johan Lewi [Belgique]Proving termination of (conditional) rewrite systems
002E30 (1993) Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]OBSCURE a specification language for abstract data types
002E55 (1993) Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
002E56 (1993) Alexander Bockmayr [Allemagne]Conditional narrowing modulo a set of equations
002E82 (1993) 5th INTERNATIONAL CONFERENCE ON Human LEUKOCYTE DIFFERENTIATION ANTIGENS
002F97 (1992) Maribel Fernández [France]Narrowing based procedures for equational disunification
003023 (1992) Joost Engelfriet [Pays-Bas] ; Linda Heyker [Pays-Bas]Context-free hypergraph grammars have the same term-generating power as attribute grammars
003134 (1991) Judith Brown [États-Unis]Images for insight: From the research lab to the classroom
003823 (1983) Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne]On hierarchies of abstract data types
003B27 (1973) The power of the state and the dignity of the academic calling in imperial Germany
003C29 (1961) Reviews

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 "Heidelberg" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i  \
                -Sk "Heidelberg" \
         | 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é=    Heidelberg
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022