MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Sofronie-Stokkermans, Vioricadblp
Editor(s):
BibTeX cite key*:
Sofronie-Stokkermans-ismvl-2004
Title, Booktitle
Title*:
Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
Booktitle*:
Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004)
Event, URLs
Conference URL::
http://www.eecg.toronto.edu/~ismvl2004/
Downloading URL:
Event Address*:
Toronto, Canada
Language:
English
Event Date*
(no longer used):
May 19-22, 2004
Organization:
IEEE
Event Start Date:
19 May 2004
Event End Date:
22 May 2004
Publisher
Name*:
IEEE Computer Society
URL:
http://www.computer.org/
Address*:
Los Alamitos, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
32-37
Year*:
2004
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) 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.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{Sofronie-Stokkermans-ismvl-2004,
AUTHOR = {Sofronie-Stokkermans, Viorica},
 TITLE = {Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras},
 BOOKTITLE = {Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004)},
 PUBLISHER = {IEEE Computer Society},
 YEAR = {2004},
 ORGANIZATION = {IEEE},
 PAGES = {32--37},
 ADDRESS = {Toronto, Canada},
}

Entry last modified by Uwe Brahm, 01/26/2005
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans		Created
02/06/2004 02:35:26 PM
Revisions
4.
3.
2.
1.
0.		Editor(s)
Uwe Brahm
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans		Edit Dates
01/12/2005 09:14:37 PM
06/08/2004 01:42:05 PM
06/08/2004 10:05:53 AM
06/03/2004 03:20:14 PM
02/06/2004 02:35:26 PM