{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:50Z","timestamp":1725457010331},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540074163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029532","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T14:42:57Z","timestamp":1133880177000},"page":"287-296","source":"Crossref","is-referenced-by-count":0,"title":["A model with nondeterministic computation"],"prefix":"10.1007","author":[{"given":"Marisa Venturini","family":"Zilli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0020-0255(69)90021-8","volume":"1","author":"E.G. Wagner","year":"1969","unstructured":"WAGNER E.G., Uniformly Reflexive Structures: An Axiomatic Approach to Computability, Information Sci. 1 (1969), 343\u2013362.","journal-title":"Information Sci."},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1147\/rd.126.0465","volume":"12","author":"H.R. Strong","year":"1968","unstructured":"STRONG H.R., Algebraically Generalized Recursive Functions Theory, IBM J. Res. Develop.12 (1968), 465\u2013475.","journal-title":"IBM J. Res. Develop."},{"key":"17_CR3","volume-title":"Combinatory Logic","author":"H.B. Curry","year":"1958","unstructured":"CURRY H.B. and FEYS R., Combinatory Logic, North Holland, Amsterdam, 1958."},{"key":"17_CR4","unstructured":"GROSS W. and VENTURINI ZILLI M., Computability and Uniformly Reflexive Structures, Proceedings of the International Computing Symposium (Venice, 1972), pp.485\u2013495."},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF02575638","volume":"11","author":"Z. M. Venturini","year":"1974","unstructured":"VENTURINI ZILLI M., On different kinds of indefinite,Calcolo 11 (1974), 67\u201377.","journal-title":"Calcolo"}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029532.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:59:43Z","timestamp":1607551183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029532"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0029532","relation":{},"subject":[]}}