ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « ISSN » - entrée « AAECC »
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.
AACA < AAECC < AAP  Facettes :

List of bibliographic references indexed by AAECC

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
005422 (2006) Salvador Lucas [Espagne]On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
005531 (2006) Solange Coupet-Grimal [France] ; William Delobel [France]An effective proof of the well-foundedness of the multiset path ordering
006240 (2005) Maribel Fernández [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France]Lambda-Calculus with Director Strings
006B14 (2004) Guillaume Hanrot [France] ; Michel Quercia [France] ; Paul Zimmermann [France]The Middle Product Algorithm I
006C27 (2004) Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis]Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems
009269 (2001) Nick Cropper ; Ursula MartinThe Classification of Polynomial Orderings on Monadic Terms
009270 (2001) Dieter Hofbauer [États-Unis]Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity
009F50 (2000) Hans Zantema ; Alfons Geser [États-Unis]A Complete Characterization of Termination of 0p 1q→ 1r 0s
00A898 (1999) Maria C. F. Ferreira ; Delia Kesner ; Laurence PuelλCalculi with Explicit Substitutions Preserving Strong Normalization
00A937 (1999) Fabrice RouillierSolving Zero-Dimensional Systems Through the Rational Univariate Representation
00C007 (1996) M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Total termination of term rewriting
00C098 (1996) A. Geser [Allemagne]An Improved General Path Order
00C780 (1995) Michaël Rusinowitch [France] ; Laurent Vigneron [France]Automated deduction with associative-commutative operators
00D209 (1993) Alexander Bockmayr [Allemagne]Conditional narrowing modulo a set of equations
00D657 (1992) Maribel Fernández [France]Narrowing based procedures for equational disunification
00DE15 (1990) Françoise Bellegarde [États-Unis] ; Pierre Lescanne [France]Termination by completion

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i -k "AAECC" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i  \
                -Sk "AAECC" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    ISSN.i
   |clé=    AAECC
}}
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