AC complement problems: Satisfiability and negation elimination

DOI10.1006/JSCO.1996.0041MaRDI QIDQ677036zbMATH OpenOpenAlexFDO

Authors 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

complement problemsfunctional programs

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• AC complement problems: Satisfiability and negation elimination
• scientific article; zbMATH DE number 512857
• scientific article; zbMATH DE number 1346499

Cited in

(5)

• Nominal equational problems
• AC complement problems: Satisfiability and negation elimination
• Strong nominal semantics for fixed-point constraints
• Anti-pattern templates
• A nominal approach to equational problems in languages with binders

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)