Paradox

swMATH3701MaRDI QIDQ16055FDOQ16055

Author name not available (Why is that?)

Cited In (3)

• On strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
• Computing finite models by reduction to function-free clause logic
• Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

This page was built for software: Paradox