HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

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

File

sofronie-unify-07-final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00175927, version 1

Collections

Citation

Viorica Sofronie-Stokkermans. On unification in certain finitely generated varieties of algebras. UNIF07, 2007, Paris, France. ⟨inria-00175927⟩

Share

Metrics

Record views

26

Files downloads

53