Negation elimination in equational formulae

DOI10.1007/3-540-55808-X_17zbMath1496.03040MaRDI QIDQ5096830

Hubert Comon, Maribel Fernández

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (2)

Nominal equational problems ⋮ AC complement problems: Satisfiability and negation elimination

Cites Work

• Explicit representation of terms defined by counter examples
• Equational problems and disunification
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Negation elimination in equational formulae