Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:




Library Locked Library locked




Author, Editor(s)
Author(s):
Lee, Chin Soondblp

BibTeX cite key*:

Lee2009

Title

Title*:

Ranking functions for size-change termination

Journal

Journal Title*:

ACM Transactions on Programming Languages and Systems
Journal's URL:


Download URL
for the article:

http://doi.acm.org/10.1145/1498926.1498928
Language:

English

Publisher

Publisher's
Name:

ACM
Publisher's URL:


Publisher's
Address:

New York, NY
ISSN:

0164-0925

Vol, No, pp, Date

Volume*:

31
Number:

3

Publishing Date:

2009

Pages*:

10:1-10:42
Number of
VG Pages:


Page Start:

10:1
Page End:

10:42

Sequence Number:

10
DOI:

10.1145/1498926.1498928

Note, Abstract, ©

Note:


(LaTeX) Abstract:


URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Internal

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort


BibTeX Entry:
@ARTICLE{Lee2009,
AUTHOR = {Lee, Chin Soon},
 TITLE = {Ranking functions for size-change termination},
 JOURNAL = {ACM Transactions on Programming Languages and Systems},
 PUBLISHER = {ACM},
 YEAR = {2009},
 NUMBER = {3},
 VOLUME = {31},
 PAGES = {10:1--10:42},
 ADDRESS = {New York, NY},
 ISBN = {0164-0925},
 DOI = {10.1145/1498926.1498928},
}

Entry last modified by Anja Becker, 08/25/2014
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]		Created
03/25/2010 05:01:18 PM
Revision
0.



Editor
Anja Becker



Edit Date
25.03.2010 17:04:12