Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse
  1. Start / 
  2. Datensatz ansehen

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Ranking Functions for Size‐change Termination

Lee, C. S. (2009). Ranking Functions for Size‐change Termination. ACM Transactions on Programming Languages and Systems, 31(3), 10:1-10:42. doi:10.1145/1498926.1498928.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C436-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-75FF-2
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Lee, Chin Soon1, 2, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20092009
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1145/1498926.1498928
BibTex Citekey: Lee2009
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: ACM Transactions on Programming Languages and Systems
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York : Association for Computing Machinery, Inc.
Seiten: - Band / Heft: 31 (3) Artikelnummer: - Start- / Endseite: 10:1 - 10:42 Identifikator: ISSN: 0164-0925
CoNE: https://pure.mpg.de/cone/journals/resource/954925480587