{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:07Z","timestamp":1725456547955},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513711"},{"type":"electronic","value":"9783540462019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/bfb0035796","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T09:00:28Z","timestamp":1133427628000},"page":"745-760","source":"Crossref","is-referenced-by-count":4,"title":["Horn programs and semicomputable relations on abstract structures"],"prefix":"10.1007","author":[{"given":"J. V.","family":"Tucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. I.","family":"Zucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,11,29]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"J. Barwise (1975). Admissible Sets and Structures, Springer-Verlag, Berlin, Heidelberg, New York."},{"key":"49_CR2","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF00243207","volume":"3","author":"A.G. Cohn","year":"1987","unstructured":"A.G. Cohn (1987). A more expressive formulation of many-sorted logic, J. Automated Reasoning, 3, 113\u2013200.","journal-title":"J. Automated Reasoning"},{"key":"49_CR3","volume-title":"Fundamentals of Generalized Recursion Theory","author":"M. Fitting","year":"1981","unstructured":"M. Fitting (1981). Fundamentals of Generalized Recursion Theory, North-Holland, Amsterdam."},{"key":"49_CR4","unstructured":"M. Fitting (1987). Computability Theory, Semantics and Logic Programming, Oxford University Press."},{"key":"49_CR5","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"2","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen, J. Meseguer (1984). Equality, types, modules and (why not?) generics for logic programming, J. Logic Programming, 2, 179\u2013210.","journal-title":"J. Logic Programming"},{"key":"49_CR6","first-page":"80","volume-title":"Current Trends in Programming Methodology, vol. 4: Data Structuring","author":"J.A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner (1978). An initial approach to the specification, correctness and implementation of abstract data types. 80\u2013149 in: Current Trends in Programming Methodology, vol. 4: Data Structuring (ed. R.T. Yeh), Prentice-Hall, Englewood Cliffs, NJ."},{"key":"49_CR7","first-page":"333","volume":"22","author":"C.E. Gordon","year":"1970","unstructured":"C.E. Gordon (1970). Comparisons between some generalizations of recursion theory, Compositio Mathematica22, 333\u2013346.","journal-title":"Compositio Mathematica"},{"key":"49_CR8","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene (1952). Introduction to Metamathematics, North-Holland, Amsterdam."},{"key":"49_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"J.W. Lloyd (1987). Foundations of Logic Programming (Second edition), Springer-Verlag, Berlin, Heidelberg, New York.","edition":"Second edition"},{"key":"49_CR10","volume-title":"Algebraic Systems","author":"A.I. Mal'cev","year":"1973","unstructured":"A.I. Mal'cev (1973). Algebraic Systems, Springer-Verlag, Berlin, Heidelberg, New York."},{"key":"49_CR11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0049-237X(08)71187-X","volume-title":"Logic, Methodology and Philosophy of Science III","author":"R. Montague","year":"1968","unstructured":"R. Montague (1968). Recursion theory as a branch of model theory. 63\u201386 in: Logic, Methodology and Philosophy of Science III (ed. B. van Rootselaar and J.F. Staal), North-Holland, Amsterdam."},{"key":"49_CR12","first-page":"427","volume":"138","author":"Y.N. Moschovakis","year":"1969","unstructured":"Y.N. Moschovakis (1969). Abstract First Order Computability. I, Trans. AMS138, 427\u2013464.","journal-title":"Trans. AMS"},{"key":"49_CR13","first-page":"325","volume-title":"Logic Programming","author":"J. Sebelik","year":"1982","unstructured":"J. Sebelik, P. Step\u00e1nek (1982). Horn clause programs for recursive functions. 325\u2013340 in: Logic Programming (eds. K.J. Clark and S.\u00c5. T\u00e4rnlund), Academic Press, London."},{"key":"49_CR14","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01932293","volume":"17","author":"S.\u00c5. T\u00e4rnlund","year":"1977","unstructured":"S.\u00c5. T\u00e4rnlund (1977). Horn clause computability, BIT17, 215\u2013226.","journal-title":"BIT"},{"key":"49_CR15","series-title":"CWI Monograph Series","volume-title":"Program Correctness over Abstract Data Types, with Error-State Semantics","author":"J.V. Tucker","year":"1988","unstructured":"J.V. Tucker, J.I. Zucker (1988). Program Correctness over Abstract Data Types, with Error-State Semantics. CWI Monograph Series, North-Holland and the Centre for Mathematics and Computer Science (CWI), Amsterdam."},{"key":"49_CR16","volume-title":"A Many-sorted Calculus based on Resolution and Paramodulation","author":"C Walther","year":"1987","unstructured":"C Walther (1987). A Many-sorted Calculus based on Resolution and Paramodulation, Pitman, London."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T05:54:24Z","timestamp":1549432464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513711","9783540462019"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0035796","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}