Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Viorica Sofronie-Stokkermans

34th International Symposium on Multiple-Valued Logic (ISMVL'04)

University of Toronto, Toronto, Canada

May 19-May 22

ISBN: 0-7695-2130-4

	ASCII Text	x
	Viorica Sofronie-Stokkermans, "Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras," Multiple-Valued Logic, IEEE International Symposium on, pp. 32-37, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004.

	BibTex	x
	@article{ 10.1109/ISMVL.2004.1319916, author = {Viorica Sofronie-Stokkermans}, title = {Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2004}, issn = {0195-623X}, pages = {32-37}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319916}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras SN - 0195-623X SP32 EP37 A1 - Viorica Sofronie-Stokkermans, PY - 2004 KW - null VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -

Viorica Sofronie-Stokkermans, Max-Planck-Institut für Informatik

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319916

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 natural dualities for such classes of algebras.

Citation:

Viorica Sofronie-Stokkermans, "Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras," ismvl, pp.32-37, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.