{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T21:29:55Z","timestamp":1672694995815},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[1991,9]]},"abstract":"<jats:p> We consider projections of semicomputable relations on abstract structures We show that they arise in several contexts, including nondeterministic extensions of while programs with arrays by means of arbitrary initializations and random assignments. They form a basis for an investigation of the concept of algorithmic specifications of relations with nondeterministic search. An important technique in this investigation is the study of computation trees for imperative programs, in order to prove characterization theorems for semicomputable sets, of a form first developed by E. Engeler. <\/jats:p>","DOI":"10.1142\/s0129054191000170","type":"journal-article","created":{"date-parts":[[2004,11,25]],"date-time":"2004-11-25T12:12:21Z","timestamp":1101384741000},"page":"267-296","source":"Crossref","is-referenced-by-count":7,"title":["PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES"],"prefix":"10.1142","volume":"02","author":[{"given":"J.V.","family":"TUCKER","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University College of Swansea, Swansea SA2 8PP, Wales, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.I.","family":"ZUCKER","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Systems, McMaster University, Hamilton, Ontario L8S 4K1, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054191000170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T00:53:13Z","timestamp":1565139193000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054191000170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":0,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[1991,9]]}},"alternative-id":["10.1142\/S0129054191000170"],"URL":"https:\/\/doi.org\/10.1142\/s0129054191000170","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}