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
Document type :
Book sections
Complete list of metadatas

Cited literature [137 references]  Display  Hide  Download
https://hal.inria.fr/hal-01183817
Contributor : Helene Kirchner <>
Submitted on : Tuesday, August 11, 2015 - 12:32:40 PM
Last modification on : Friday, August 14, 2015 - 2:28:54 PM
Long-term archiving on : Thursday, November 12, 2015 - 10:22:53 AM

File

eqLogicRw.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

227

Files downloads

895

Contact


archive-ouverte@inria.fr