Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor(s)

Author(s):

Lee, Chin Soon

dblp



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