On unification in certain finitely generated varieties of algebras - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

On unification in certain finitely generated varieties of algebras

Viorica Sofronie-Stokkermans
  • Fonction : Auteur
Max-Planck-Institut für Informatik

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
sofronie-unify-07-final.pdf (119.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Evelyne Contejean  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00175927

Soumis le : lundi 1 octobre 2007-17:08:34

Dernière modification le : jeudi 20 septembre 2018-07:54:02

Archivage à long terme le : jeudi 27 septembre 2012-12:20:38

Télécharger pour visualiser

Dates et versions

inria-00175927 , version 1 (01-10-2007)

Identifiants

  • HAL Id : inria-00175927 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIF07
26 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More