AC complement problems: Satisfiability and negation elimination

DOI10.1006/JSCO.1996.0041zbMATH Open0871.68108OpenAlexW2072384491MaRDI QIDQ677036FDOQ677036

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)

Cited In (2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q677036)