English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Conference Paper

Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras

MPS-Authors
/persons/resource/persons45516

Sofronie-Stokkermans,  Viorica
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

Sofronie-Stokkermans, V. (2004). Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras. In Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004) (pp. 32-37). Los Alamitos, USA: IEEE Computer Society.


Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-2B24-6
Abstract
In this paper we give resolution-based decision procedures for the positive theory of certain finitely-generated varieties of algebras. The method is based on the existence of representation theorems for such classes of algebras.