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 metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00175927
Contributor : Evelyne Contejean <>
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

115

Files downloads

70