Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



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

URL of the conference:

http://www.eecg.toronto.edu/~ismvl2004/

URL for downloading the paper:


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, 03/20/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
03/20/2007 10:13:35 AM
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section