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.
Type de document :
Communication dans un congrès
Évelyne Contejean. UNIF07, 2007, Paris, France. 2007
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00175927
Contributeur : Evelyne Contejean <>
Soumis le : lundi 1 octobre 2007 - 17:08:34
Dernière modification le : lundi 20 novembre 2017 - 15:14:01
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 12:20:38

Fichier

sofronie-unify-07-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00175927, version 1

Collections

Citation

Viorica Sofronie-Stokkermans. On unification in certain finitely generated varieties of algebras. Évelyne Contejean. UNIF07, 2007, Paris, France. 2007. 〈inria-00175927〉

Partager

Métriques

Consultations de la notice

105

Téléchargements de fichiers

59