Equational theorem proving modulo
type: Item
instance of: scholarly article
title: Equational theorem proving modulo
DOI: 10.1007/978-3-030-79876-5_10
author: Christopher Lynch
author: Dohan Kim
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437078
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 10
OpenAlex ID: W3179244314
cites work: Automated Reasoning
cites work: Term Rewriting and All That
cites work: Unification theory
cites work: Completion for rewriting modulo a congruence
cites work: Rewrite-based Equational Theorem Proving with Selection and Simplification
cites work: Q4524792
cites work: Basic paramodulation
cites work: Paramodulation with non-monotonic orderings and simplification
cites work: Rewriting
cites work: Polarized Resolution Modulo
cites work: Theorem proving modulo
cites work: Associative unification and symbolic reasoning modulo associativity in Maude
cites work: Folding variant narrowing and optimal variant termination
cites work: An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
cites work: Reviving basic narrowing modulo
cites work: Q4619820
cites work: Paramodulation with built-in AC-theories and symbolic constraints
cites work: Paramodulation-based theorem proving
cites work: Q5624683
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Associative-commutative deduction with constraints
description: scientific article; zbMATH DE number 7437078