Some independence results for control structures in complete numberings
Journal of Symbolic Logic
Saved in:
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39420 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-39420 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-394202015-01-10T20:56:41Z Some independence results for control structures in complete numberings Jain, S. Nessel, J. COMPUTER SCIENCE Journal of Symbolic Logic 66 1 357-382 2013-07-04T07:41:13Z 2013-07-04T07:41:13Z 2001 Article Jain, S.,Nessel, J. (2001). Some independence results for control structures in complete numberings. Journal of Symbolic Logic 66 (1) : 357-382. ScholarBank@NUS Repository. 00224812 http://scholarbank.nus.edu.sg/handle/10635/39420 NOT_IN_WOS Scopus |
institution |
National University of Singapore |
building |
NUS Library |
country |
Singapore |
collection |
ScholarBank@NUS |
description |
Journal of Symbolic Logic |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE Jain, S. Nessel, J. |
format |
Article |
author |
Jain, S. Nessel, J. |
spellingShingle |
Jain, S. Nessel, J. Some independence results for control structures in complete numberings |
author_sort |
Jain, S. |
title |
Some independence results for control structures in complete numberings |
title_short |
Some independence results for control structures in complete numberings |
title_full |
Some independence results for control structures in complete numberings |
title_fullStr |
Some independence results for control structures in complete numberings |
title_full_unstemmed |
Some independence results for control structures in complete numberings |
title_sort |
some independence results for control structures in complete numberings |
publishDate |
2013 |
url |
http://scholarbank.nus.edu.sg/handle/10635/39420 |
_version_ |
1681082091334270976 |