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.
Type de document :
Communication dans un congrès
Évelyne Contejean. UNIF07, 2007, Paris, France. 2007
https://hal.inria.fr/inria-00175927
Contributeur : Evelyne Contejean
<>
Soumis le : lundi 1 octobre 2007 - 17:08:34
Dernière modification le : jeudi 20 septembre 2018 - 07:54:02
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 12:20:38
Viorica Sofronie-Stokkermans. On unification in certain finitely generated varieties of algebras. Évelyne Contejean. UNIF07, 2007, Paris, France. 2007. 〈inria-00175927〉
