Bienvenue au Centre de Documentation et d'Information de 2iE: Plus de 27422 ouvrages vous sont proposés
Technique et Science informatiques. RSTI série TSI. une approche générique de la réécriture / Aiguier, M.
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)
|
Réservation
Réserver ce documentExemplaires(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 |