{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:51:27Z","timestamp":1730314287643,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1145\/143559.143685","type":"proceedings-article","created":{"date-parts":[[2003,11,13]],"date-time":"2003-11-13T10:39:45Z","timestamp":1068719985000},"page":"541-546","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computations at infinity"],"prefix":"10.1145","author":[{"given":"Klaus","family":"Kaiser","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[1992,4]]},"reference":[{"key":"e_1_3_2_1_1_2","first-page":"445","volume":"4","author":"Arnold A.","year":"1980","unstructured":"Arnold , A. , Nivat , M. , The Metric Space of Infinite Trees. Algebraic and Topological Properties. Annales Societaz Mathematicae Polonae Series IV: Fundamenta Informaticae i Il , 4 ( 1980 ) pp 445 - 476 . Arnold, A., Nivat, M., The Metric Space of Infinite Trees. Algebraic and Topological Properties. Annales Societaz Mathematicae Polonae Series IV: Fundamenta Informaticae iIl, 4 (1980) pp 445-476.","journal-title":"Il"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90004-4"},{"key":"e_1_3_2_1_3_2","volume-title":"Proceedings of the North American Conference","author":"Belem M.","year":"1989","unstructured":"Belem , M. , Characterizing Termination of Logic Programs with Level Mappings. In: E.L. Lusk and R.A. Ovezbeek (eds), Logic Programming , Proceedings of the North American Conference 1989 , The MIT Press, Cambridge, Massachusetts and London, England. Belem, M., Characterizing Termination of Logic Programs with Level Mappings. In: E.L. Lusk and R.A. Ovezbeek (eds), Logic Programming, Proceedings of the North American Conference 1989, The MIT Press, Cambridge, Massachusetts and London, England."},{"key":"e_1_3_2_1_4_2","volume-title":"Introduction to Set Theory","author":"Hrbacek K.","year":"1984","unstructured":"Hrbacek , K. , Jeck , T. , Introduction to Set Theory , Marcel Dekker, Inc. , New York , New York, 1984 . Hrbacek, K., Jeck, T., Introduction to Set Theory, Marcel Dekker, Inc., New York, New York, 1984."},{"key":"e_1_3_2_1_5_2","volume-title":"An Introduction to Nonstandard Real Analysis","author":"Hurd A.e.","year":"1985","unstructured":"Hurd , A.e. , Loeb , P.A. , An Introduction to Nonstandard Real Analysis . Academic Press , inc., Orlando, Florida, 1985 . Hurd, A.e., Loeb, P.A., An Introduction to Nonstandard Real Analysis. Academic Press, inc., Orlando, Florida, 1985."},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/382080.382636"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd J.W.","year":"1987","unstructured":"Lloyd , J.W. , Foundations of Logic Programming . Springer-Verlag , Berlin, Germany , 1987 . Lloyd, J.W., Foundations of Logic Programming. Springer-Verlag, Berlin, Germany, 1987."},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485827"},{"key":"e_1_3_2_1_10_2","series-title":"Lecture Notes in Computer Science 172","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/3-540-13345-3_32","volume-title":"On the interpretation of Infinite Computations in Logic Programming. ICALP 84","author":"N~it Abdallah M.A.","year":"1984","unstructured":"N~it Abdallah , M.A. , On the interpretation of Infinite Computations in Logic Programming. ICALP 84 , Lecture Notes in Computer Science 172 , Springer-Veda $, Berlin, 1984 pp 358 - 370 . N~it Abdallah, M.A., On the interpretation of Infinite Computations in Logic Programming. ICALP 84, Lecture Notes in Computer Science 172, Springer-Veda$, Berlin, 1984 pp 358-370."},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"crossref","DOI":"10.1515\/9781400882144","volume-title":"Radically Elementary Probability Theol. Annals of Mathematics Studies","author":"Nelson E.","year":"1987","unstructured":"Nelson , E. , Radically Elementary Probability Theol. Annals of Mathematics Studies , PEinceton University Press ( 117), Princeton, New Jersey 1987 . Nelson, E., Radically Elementary Probability Theol. Annals of Mathematics Studies, PEinceton University Press (117), Princeton, New Jersey 1987."},{"key":"e_1_3_2_1_12_2","volume-title":"Non-Standard Analysis","author":"Robinson A.","year":"1966","unstructured":"Robinson , A. , Non-Standard Analysis , North- Holland Publishing Company , Amsterdam , 1966 . Robinson, A., Non-Standard Analysis, North- Holland Publishing Company, Amsterdam, 1966."},{"key":"e_1_3_2_1_13_2","volume-title":"Drake, F.R., Truss, J.K. (eds), Logic Colloquium '86, Studies in Logic 924","author":"Sheperdson S.C.","year":"1988","unstructured":"Sheperdson , S.C. , Introduction to the Theory of Logic Programming . In: Drake, F.R., Truss, J.K. (eds), Logic Colloquium '86, Studies in Logic 924 , North-Holland Publishing Company , Amsterdam , 1988 . Sheperdson, S.C., Introduction to the Theory of Logic Programming. In: Drake, F.R., Truss, J.K. (eds), Logic Colloquium '86, Studies in Logic 924, North-Holland Publishing Company, Amsterdam, 1988."}],"event":{"name":"SAC92: 1992 ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Kansas City Missouri USA","acronym":"SAC92"},"container-title":["Proceedings of the 1992 ACM\/SIGAPP Symposium on Applied computing: technological challenges of the 1990's"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/143559.143685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T09:11:04Z","timestamp":1673341864000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/143559.143685"}},"subtitle":["a nonstandard approach"],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":13,"alternative-id":["10.1145\/143559.143685","10.1145\/143559"],"URL":"https:\/\/doi.org\/10.1145\/143559.143685","relation":{},"subject":[],"published":{"date-parts":[[1992,4]]},"assertion":[{"value":"1992-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}  <script>parent.window.postMessage('ixistenz.url:https://api.crossref.org/works/10.1145%2F143559.143685', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '><div><a href='#diffid878' style='color: white;' onClick="parent.window.postMessage('ixistenz.opendiff:878', '*');; return false;" style='text-decoration: none; '>Note </a> <a style='color: white;' href='#diffid878'><sup>3</sup></a></div></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>