| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
On unification in certain finitely generated varieties of algebras
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.
Cited literature [10 references]
https://hal.inria.fr/inria-00175927
Contributor : Evelyne Contejean Connect 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
Contributor : Evelyne Contejean Connect 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
File
sofronie-unify-07-final.pdf
Files produced by the author(s)