Teeft.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Teeft.i » - entrée « Normal forms »
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.
Normal form automaton < Normal forms < Normal function  Facettes :

List of bibliographic references indexed by Normal forms

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
009171 (2001) E. A. Cichon [France] ; E. Tahhan-Bittar [Venezuela]Strictly orthogonal left linear rewrite systems and primitive recursion
009185 (2001) Bernhard Gramlich [Autriche]On interreduction of semi-complete term rewriting systems
009224 (2001) Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]A Pattern-Matching Compiler
009D07 (2000) Hélène Kirchner [France] ; Isabelle Gnaedig [France]Termination and normalisation under strategy Proofs in ELAN
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D41 (2000) Patrick Viry [Italie]Input/Output for ELAN
009D45 (2000) Christophe Ringeissen [France]Handling Relations over Finite Domains in the Rule-Based System ELAN
009D57 (2000) Delia Kesner [France]Confluence of extensional and non-extensional λ-calculi with explicit substitutions
009E81 (2000) Hubert Comon [France] ; Robert Nieuwenhuis [Espagne]Induction=I-Axiomatization+First-Order Consistency
009E84 (2000) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
00A825 (1999) David A. Plaisted [États-Unis] ; Gregory Kucherov [États-Unis, France]The complexity of some complementation problems
00AA68 (1999) K. Stokkermans [Autriche]A Categorical Critical-pair Completion Algorithm
00C098 (1996) A. Geser [Allemagne]An Improved General Path Order
00C614 (1995) Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark]Rewriting extended regular expressions
00C649 (1995) Maria Alpuente [Espagne] ; Moreno Falaschi [Espagne] ; Ferdinando Manzo [Espagne]Analyses of unsatisfiability for equational logic programming
00D208 (1993) Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
00D995 (1991) Index volume 33 nos 1–10
00EF30 (1978) W. J. HutchinsMACHINE TRANSLATION AND MACHINEAIDED TRANSLATION

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/Teeft.i -k "Normal forms" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i  \
                -Sk "Normal forms" \
         | 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=    Teeft.i
   |clé=    Normal forms
}}
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