Negation elimination in empty or permutative theories

DOI10.1006/jsco.1998.0203zbMath0904.03007OpenAlexW2072195664MaRDI QIDQ1264437

Maribel Fernández

Publication date: 19 January 1999

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1998.0203

zbMATH Keywords

unification problemtransformation rulesequational formula

Mathematics Subject Classification ID

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

Related Items

Equational formulas and pattern operations in initial order-sorted algebras ⋮ Nominal equational problems ⋮ Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras ⋮ Explicit versus implicit representations of subsets of the Herbrand universe.