Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  A fast algorithm for renaming a set of clauses as a Horn set

Mannila, H., & Mehlhorn, K. (1985). A fast algorithm for renaming a set of clauses as a Horn set. Information Processing Letters, 21, 269-272.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Mannila, Heikki1, Autor           
Mehlhorn, Kurt1, Autor           
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2006-08-091985
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 344598
Anderer: Local-ID: C1256428004B93B8-10C573887897F861C12571AE0045DDF6-mehlhorn85a
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Information Processing Letters
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 21 Artikelnummer: - Start- / Endseite: 269 - 272 Identifikator: -