{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:12Z","timestamp":1725663912636},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_87","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:42Z","timestamp":1330258482000},"page":"302-317","source":"Crossref","is-referenced-by-count":2,"title":["Executing bounded quantifications on shared memory multiprocessors"],"prefix":"10.1007","author":[{"given":"Jonas","family":"Barklund","sequence":"first","affiliation":[]},{"given":"Johan","family":"Bevemyr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Arro, H., Barklund, J. and Bevemyr, J., Parallel Bounded Quantifications-Preliminary Results, to appear in ACM SIGPLAN Notices, 1993.","DOI":"10.1145\/163114.163129"},{"key":"21_CR2","unstructured":"Barklund, J. and Millroth, H., Providing Concurrency and Iteration in Logic Programming through Bounded Quantifications, in: H. Tanaka (ed.), Proc. Intl. Conf. on Fifth Generation Computer Systems 1992, Ohmsha, Tokyo, 1992."},{"key":"21_CR3","volume-title":"Prolog with Arrays and Bounded Quantifications","author":"J. Barklund","year":"1993","unstructured":"Barklund, J. and Bevemyr, J., Prolog with Arrays and Bounded Quantifications, in: A. Voronkov (ed.), Proc. 4th Intl. Conf. on Logic Programming and Automated Reasoning, Springer-Verlag, Berlin, 1993."},{"key":"21_CR4","unstructured":"Bevemyr, J., The Luther WAM Emulator, UPMAIL Technical Report No. 72, Computing Science Dept., Uppsala Univ., 1992."},{"key":"21_CR5","unstructured":"Bevemyr, J., Lindgren, T. and Millroth, H., Reform Prolog: The Language and its Implementation, to be presented at the International Conference on Logic Programming, 1993."},{"key":"21_CR6","unstructured":"Bevemyr, J., A Recursion Parallel Prolog Engine, Ph.L. Thesis, Computing Science Dept., Uppsala Univ., 1993."},{"key":"21_CR7","volume-title":"Reforming Compilation of Logic Programs","author":"H. Millroth","year":"1991","unstructured":"Millroth, H., Reforming Compilation of Logic Programs, in: V. Saraswat, K. Ueda (eds.) Proc. 1991 Intl. Symp. on Logic Programming, MIT Press, Cambridge, Mass., 1991."},{"key":"21_CR8","volume-title":"Proc. Fifth Intl. Conf. and Symp. on Logic Programming","author":"L. Naish","year":"1988","unstructured":"Naish, L., Parallelizing Nu-Prolog, in: R. A. Kowalski and K. A. Bowen (eds.), Proc. Fifth Intl. Conf. and Symp. on Logic Programming, MIT Press, Cambridge, Mass., 1988."},{"key":"21_CR9","unstructured":"Tang, P. and Yew, P.-C, Processor Self-Scheduling for Multiple Nested Parallel Loops, in: Proc. 1986 Intl. Conf. on Parallel Processing, 1986."},{"key":"21_CR10","volume-title":"LNCS 592","author":"A. Voronkov","year":"1992","unstructured":"Voronkov, A., Logic Programming with Bounded Quantifiers, in: A. Voronkov (ed.), Logic Programming-Proc. Second Russian Conf. on Logic Programming, LNCS 592, Springer-Verlag, Berlin, 1992."},{"key":"21_CR11","volume-title":"Technical Report ECRC-92-29","author":"A. A. Voronkov","year":"1992","unstructured":"Voronkov, A. A., Logic programming with bounded quantifiers, Technical Report ECRC-92-29, ECRC, Munich, 1992."},{"key":"21_CR12","volume-title":"SRI Tech. Note 309","author":"D. H. D. Warren","year":"1983","unstructured":"Warren, D. H. D., An Abstract Prolog Instruction Set, SRI Tech. Note 309, SRI International, Menlo Park, CA, USA, 1983."}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:59:50Z","timestamp":1619571590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}