Affine-based size-change termination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

Bibliographic Details
Main Authors:	Anderson, H., Khoo, S.-C.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/77813
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-77813
record_format	dspace
spelling	sg-nus-scholar.10635-778132015-01-06T07:26:02Z Affine-based size-change termination Anderson, H. Khoo, S.-C. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2895 122-140 2014-07-04T03:09:02Z 2014-07-04T03:09:02Z 2003 Article Anderson, H.,Khoo, S.-C. (2003). Affine-based size-change termination. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2895 : 122-140. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/77813 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Anderson, H. Khoo, S.-C.
format	Article
author	Anderson, H. Khoo, S.-C.
spellingShingle	Anderson, H. Khoo, S.-C. Affine-based size-change termination
author_sort	Anderson, H.
title	Affine-based size-change termination
title_short	Affine-based size-change termination
title_full	Affine-based size-change termination
title_fullStr	Affine-based size-change termination
title_full_unstemmed	Affine-based size-change termination
title_sort	affine-based size-change termination
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/77813
_version_	1681088526125367296

Affine-based size-change termination

Similar Items