Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Logical Algorithms

Ganzinger, H., & McAllester, D. (2002). Logical Algorithms. In Logic Programming. 18th International Conference, ICLP 2002 (pp. 209-223). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2FD5-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2FD8-1
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ganzinger, Harald1, Autor           
McAllester, David, Autor
Stuckey, Peter J., Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: It is widely accepted that many algorithms can be concisely and clearly expressed as logical inference rules. However, logic programming has been inappropriate for the study of the running time of algorithms because there has not been a clear and precise model of the run time of a logic program. We present a logic programming model of computation appropriate for the study of the run time of a wide variety of algorithms.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2003-09-012002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 202140
Anderer: Local-ID: C1256104005ECAFC-579C0AB32F1BD048C1256C410068CB89-GanzingerMcAllester-02-iclp
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: ICLP 2002
Veranstaltungsort: Copenhagen, Denmark
Start-/Enddatum: 2002-07-29 - 2002-08-01

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Logic Programming. 18th International Conference, ICLP 2002
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 209 - 223 Identifikator: ISBN: 3-540-43930-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 2401 Artikelnummer: - Start- / Endseite: - Identifikator: -