Negation elimination in empty or permutative theories
From MaRDI portal
Publication:1264437
DOI10.1006/jsco.1998.0203zbMath0904.03007OpenAlexW2072195664MaRDI QIDQ1264437
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
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.