| HAL-Inria | Publications, software ... of Inria's scientists |
Book sections
Equational logic and rewriting
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
Cited literature [137 references]
https://hal.inria.fr/hal-01183817
Contributor : Helene Kirchner <>
Submitted on : Tuesday, August 11, 2015 - 12:32:40 PM
Last modification on : Monday, October 19, 2020 - 11:08:54 AM
Long-term archiving on: : Thursday, November 12, 2015 - 10:22:53 AM
Contributor : Helene Kirchner <>
Submitted on : Tuesday, August 11, 2015 - 12:32:40 PM
Last modification on : Monday, October 19, 2020 - 11:08:54 AM
Long-term archiving on: : Thursday, November 12, 2015 - 10:22:53 AM
File
eqLogicRw.pdf
Files produced by the author(s)