AC complement problems: Satisfiability and negation elimination

DOI10.1006/JSCO.1996.0041zbMath0871.68108OpenAlexW2072384491MaRDI QIDQ677036

Maribel Fernández

Publication date: 23 March 1997

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

Full work available at URL: https://semanticscholar.org/paper/7ef42040fb85cbfdc862b34deb6866e94112e074

zbMATH Keywords

functional programscomplement problems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Nominal equational problems

This page was built for publication: AC complement problems: Satisfiability and negation elimination