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 -
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
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb