English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras

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.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2B24-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2B25-4
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Sofronie-Stokkermans, Viorica1, 2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2005-01-262004
 Publication Status: Issued
 Pages: -
 Publishing info: Los Alamitos, USA : IEEE Computer Society
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 231970
Other: Local-ID: C1256104005ECAFC-EE93B3E7EBC0FEB3C1256E32004AA7BD-Sofronie-Stokkermans-ismvl-2004
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Toronto, Canada
Start-/End Date: 2004-05-19

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004)
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Los Alamitos, USA : IEEE Computer Society
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 32 - 37 Identifier: -