Abstract : We present resolution-based decision procedures for the positive theory of certain finitely-generated varieties of algebras. The method is based on the existence of natural dualities for such classes of algebras.
https://hal.inria.fr/inria-00175927 Contributor : Evelyne ContejeanConnect in order to contact the contributor Submitted on : Monday, October 1, 2007 - 5:08:34 PM Last modification on : Thursday, September 20, 2018 - 7:54:02 AM Long-term archiving on: : Thursday, September 27, 2012 - 12:20:38 PM