{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:11:08Z","timestamp":1725459068052},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540156895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028815","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T17:15:07Z","timestamp":1138209307000},"page":"310-319","source":"Crossref","is-referenced-by-count":0,"title":["On some topological properties of logic programs"],"prefix":"10.1007","author":[{"given":"M. A. Nait","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Aczel P.: An introduction to inductive definitions, in Handbook of Mathematical Logic, J.Barwise ed., North Holland (1977), pp 739\u2013782","DOI":"10.1016\/S0049-237X(08)71120-0"},{"issue":"4","key":"31_CR2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1980-3405","volume":"3","author":"A. Arnold","year":"1980","unstructured":"Arnold A. and Nivat M.: The metric space of infinite trees. Algebraic and topological properties, Fundamenta Informatica 3,4 (1980) pp. 445\u2013476","journal-title":"Algebraic and topological properties, Fundamenta Informatica"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Ashcroft E.A. and Wadge W.: LUCID, a non-procedural language with iteration, CACM (7) (July 1977), pp. 519\u2013526","DOI":"10.1145\/359636.359715"},{"key":"31_CR4","unstructured":"van Emden M.H. and Nait Abdallah M.A.: Top-down semantics of fair derivations in logic programs, Journal of Logic Programming (to appear)"},{"issue":"4","key":"31_CR5","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden M.H. and Kowalski R.: The semantics of predicate logic as a programming language, JACM 23, 4 (1976), pp. 733\u2013742","journal-title":"JACM"},{"key":"31_CR6","volume-title":"Set theory","author":"F. Hausdorff","year":"1962","unstructured":"Hausdorff F.: Set theory, Chelsea Publishing Co., New York (1962)."},{"key":"31_CR7","volume-title":"Logic for problem solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski R.: Logic for problem solving, Elsevier North Holland, New York (1979)."},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Kuratowski K.: Topology, Vol 1, p 335 sqq, Academic Press (1966)","DOI":"10.1016\/B978-0-12-429201-7.50005-3"},{"key":"31_CR9","unstructured":"Nait Abdallah M.A.: Sort theory, University of Waterloo report CS 82-19, (September 1982)"},{"key":"31_CR10","unstructured":"Nait Abdallah M.A.: Metric interpretation and greatest fixpoint semantics of logic programs, University of Waterloo Report CS-82-19 (September 1983, revised November 1983); shorter version published in C.R. Acad. Sci. Paris, Vol. 300, Serie I, (5), pp 145\u2013147."},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.A.: On the interpretation of infinite computations in logic programming, Springer LNCS # 172, pp 358\u2013370 (1984)","DOI":"10.1007\/3-540-13345-3_32"},{"key":"31_CR12","unstructured":"Tiuryn J.: Unpublished letter to M.H. van Emden, (1979)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028815.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T04:58:32Z","timestamp":1627016312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540156895"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0028815","relation":{},"subject":[]}}