Time bounds for general function pointers

10.1016/j.entcs.2012.08.010

Saved in:
Bibliographic Details
Main Authors: Dockins, R., Hobor, A.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78392
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-78392
record_format dspace
spelling sg-nus-scholar.10635-783922023-10-26T08:23:22Z Time bounds for general function pointers Dockins, R. Hobor, A. COMPUTER SCIENCE Step-indexed models Termination 10.1016/j.entcs.2012.08.010 Electronic Notes in Theoretical Computer Science 286 139-155 2014-07-04T03:15:45Z 2014-07-04T03:15:45Z 2012-09-24 Conference Paper Dockins, R., Hobor, A. (2012-09-24). Time bounds for general function pointers. Electronic Notes in Theoretical Computer Science 286 : 139-155. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2012.08.010 15710661 http://scholarbank.nus.edu.sg/handle/10635/78392 000216917900011 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Step-indexed models
Termination
spellingShingle Step-indexed models
Termination
Dockins, R.
Hobor, A.
Time bounds for general function pointers
description 10.1016/j.entcs.2012.08.010
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Dockins, R.
Hobor, A.
format Conference or Workshop Item
author Dockins, R.
Hobor, A.
author_sort Dockins, R.
title Time bounds for general function pointers
title_short Time bounds for general function pointers
title_full Time bounds for general function pointers
title_fullStr Time bounds for general function pointers
title_full_unstemmed Time bounds for general function pointers
title_sort time bounds for general function pointers
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/78392
_version_ 1781783853065568256