Equational logic and rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2014

Equational logic and rewriting

Claude Kirchner (1) , Hélène Kirchner (1)
Claude Kirchner
Inria Siège
CV
Hélène Kirchner
Inria Siège

Résumé

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.

Mots clés

Equational logic Rewriting

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
eqLogicRw.pdf (263.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Helene Kirchner  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01183817

Soumis le : mardi 11 août 2015-12:32:40

Dernière modification le : jeudi 15 février 2024-03:30:46

Archivage à long terme le : jeudi 12 novembre 2015-10:22:53

Télécharger pour visualiser

Dates et versions

hal-01183817 , version 1 (11-08-2015)

Identifiants

  • HAL Id : hal-01183817 , version 1

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 INRIA IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
174 Consultations
2040 Téléchargements

Partager

Gmail Facebook X LinkedIn More