Bienvenue au Centre de Documentation et d'Information de 2iE: Plus de 27422 ouvrages vous sont proposés
Détail de l'auteur
Auteur Aiguier, M. |
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la rechercheTechnique et Science informatiques. RSTI série TSI. une approche générique de la réécriture / Aiguier, M.
Titre de série : Technique et Science informatiques. RSTI série TSI Titre : une approche générique de la réécriture Type de document : texte imprimé Auteurs : Aiguier, M. ; Bahrami, D. Mention d'édition : Hermes, Lavoisier Editeur : Hermes, Lavoisier Année de publication : 2003 ISBN/ISSN/EAN : 978-2-7462-0716-5 Note générale : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Langues : Français (fre) Mots-clés : REECRITURE ABSTRAITE LOGICALITE Index. décimale : 004 Traitement de données. Informatique Résumé : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Note de contenu : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Technique et Science informatiques. RSTI série TSI. une approche générique de la réécriture [texte imprimé] / Aiguier, M. ; Bahrami, D. . - Hermes, Lavoisier . - Hermes, Lavoisier, 2003.
ISBN : 978-2-7462-0716-5
Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique
Langues : Français (fre)
Mots-clés : REECRITURE ABSTRAITE LOGICALITE Index. décimale : 004 Traitement de données. Informatique Résumé : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Note de contenu : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Réservation
Réserver ce document
Exemplaires(32)
Code-barres Cote Support Localisation Section Disponibilité ER03B583.1913 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1914 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1915 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1916 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1917 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1918 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1919 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1920 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1921 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1922 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1923 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1924 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1925 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1926 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1927 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1928 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1929 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1930 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1931 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1932 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1933 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1934 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1935 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1936 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1937 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1938 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1939 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1940 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1941 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1942 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1943 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1944 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible
