Equational logic and rewriting

Claude Kirchner 1 Hélène Kirchner 1
1 Inria Siège
Abstract : In this survey, we do not address higher order logics nor type theory, but rather restrict to first-order concepts. We focus on equational logic and its relation to rewriting logic and we consider their impact on automated deduction and programming languages.
Keywords : Rewriting Equational logic
Type de document :
Chapitre d'ouvrage
Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
Liste complète des métadonnées

Littérature citée [137 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01183817
Contributeur : Helene Kirchner <>
Soumis le : mardi 11 août 2015 - 12:32:40
Dernière modification le : vendredi 14 août 2015 - 14:28:54
Document(s) archivé(s) le : jeudi 12 novembre 2015 - 10:22:53

Fichier

eqLogicRw.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01183817, version 1

Collections

INRIA

Citation

Claude Kirchner, Hélène Kirchner. Equational logic and rewriting . Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244. 〈hal-01183817〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

336

Contact


archive-ouverte@inria.fr