Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems

Ganzinger, H. (2001). Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems. In D. A. Williams (Ed.), Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01) (pp. 81-90). Los Alamitos, USA: IEEE.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3235-E Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3237-A
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ganzinger, Harald1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper we compare three approaches to polynomial time decidability for uniform word problems for quasi-varieties. Two of the approaches, by Evans and Burris, respectively, are semantical, referring to certain embeddability and axiomatizability properties. The third approach is proof-theoretic in nature, inspired by McAllester's concept of local inference. We define two closely related notions of locality for equational Horn theories and show that both the criteria by Evans and Burris lie in between these two concepts. In particular, our notion of weak locality subsumes both Evans' and Burris' method.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-122001
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519832
Anderer: Local-ID: C1256104005ECAFC-271953657FA398B3C1256AB50054F798-Ganzinger-01-lics
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: LICS 2001
Veranstaltungsort: Boston, USA
Start-/Enddatum: 2001-06-16 - 2001-06-19

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01)
Genre der Quelle: Konferenzband
 Urheber:
Williams, Denise A., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 81 - 90 Identifikator: ISBN: 0-7695-1281-x