Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2B24-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2B25-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, 2, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2005-01-262004
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE Computer Society
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 231970
Anderer: Local-ID: C1256104005ECAFC-EE93B3E7EBC0FEB3C1256E32004AA7BD-Sofronie-Stokkermans-ismvl-2004
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Toronto, Canada
Start-/Enddatum: 2004-05-19

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004)
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE Computer Society
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 32 - 37 Identifikator: -