Ranking Functions for Size‐change Termination

Lee, Chin Soon

doi:10.1145/1498926.1498928

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C436-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-75FF-2

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Lee, Chin Soon^{1, 2}, Author

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2009Date issued: 2009

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1145/1498926.1498928
BibTex Citekey: Lee2009

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: ACM Transactions on Programming Languages and Systems

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York : Association for Computing Machinery, Inc.

Pages: - Volume / Issue: 31 (3) Sequence Number: - Start / End Page: 10:1 - 10:42 Identifier: ISSN: 0164-0925
CoNE: https://pure.mpg.de/cone/journals/resource/954925480587