Non-disjoint combined unification and closure by equational paramodulation
type: Item
instance of: scholarly article
title: Non-disjoint combined unification and closure by equational paramodulation
DOI: 10.1007/978-3-030-86205-3_2
author: Serdar Erbatur
author: Andrew M. Marshall
author: Christophe Ringeissen
publication date: 2022-03-24T00:00:00Z
full work available at URL: combi-pc.pdf
Mathematics Subject Classification ID: 68Txx
zbMATH DE Number: 7497914
MaRDI profile type: Publication
OpenAlex ID: W3197560449
cites work: Term Rewriting and All That
cites work: Combination techniques and decision problems for disunification
cites work: Unification in the union of disjoint equational theories: Combining decision procedures
cites work: Unification theory
cites work: Q4808758
cites work: On Forward Closure and the Finite Variant Property
cites work: Syntacticness, cycle-syntacticness and shallow theories
cites work: Term Rewriting and Applications
cites work: Combination techniques for non-disjoint equational theories
cites work: Rule-based unification in combined theories and the finite variant property
cites work: Hierarchical Combination
cites work: Unification over distributive exponentiation (sub)theories
cites work: Notions of knowledge in combinations of theories sharing constructors
cites work: Terminating non-disjoint combined unification
cites work: Folding variant narrowing and optimal variant termination
cites work: Completion of a Set of Rules Modulo a Set of Equations
cites work: Reviving basic narrowing modulo
cites work: Q4809079
cites work: Variant-Based Satisfiability in Initial Algebras
cites work: Q4255512
cites work: Unification in a combination of arbitrary disjoint equational theories
description: scientific article; zbMATH DE number 7497914