{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:33Z","timestamp":1725663393479},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:55:39Z","timestamp":1330181739000},"page":"599-615","source":"Crossref","is-referenced-by-count":1,"title":["An algorithmic approach to p-adic integers"],"prefix":"10.1007","author":[{"given":"Steven","family":"Vickers","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, Samson: Domain Theory in Logical Form, in: Proceedings of LICS '87.","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"31_CR2","first-page":"500","volume-title":"A Survey of Modern Algebra","author":"G. Birkhoff","year":"1977","unstructured":"Birkhoff, Gareth, and MacLane, Saunders: A Survey of Modern Algebra (4th edition), Macmillan, New York, 1977, 500 pp.","edition":"4th edition"},{"key":"31_CR3","first-page":"483","volume-title":"Algebra, volume 2","author":"P. M. Cohn","year":"1977","unstructured":"Cohn, P M: Algebra, volume 2, Wiley, London, New York, Sydney, Toronto, 1977, 483 pp."},{"key":"31_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BFb0061824","volume-title":"Applications of Sheaves","author":"M. P. Fourman","year":"1979","unstructured":"Fourman, M P, and Scott, D S: Sheaves and Logic, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer-Verlag, Berlin, Heidelberg, New York, 1979, p. 302\u2013401."},{"key":"31_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5242-9","volume-title":"Methods and Applications of Error-free Computing","author":"R. T. Gregory","year":"1984","unstructured":"Gregory, R T, and Krishnamurthy, E V: Methods and Applications of Error-free Computing, Springer-Verlag, Berlin, Heidelberg, New York, 1984."},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science","author":"M Hennessy","year":"1979","unstructured":"Hennessy, M, and Plotkin, G: Full Abstraction for a Simple Parallel Programming Language, in: J. Becvar, ed., Mathematical Foundations of Computer Science. Proceedings 1979, Lecture Notes in Computer Science 74, Springer-Verlag, Berlin, 1979."},{"key":"31_CR7","series-title":"Graduate Texts in Mathematics","first-page":"262","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, Saunders: Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, New York, Heidelberg, Berlin, 1971, 262 pp."},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Smyth, Michael: Power Domains, Journal of Computer and System Sciences vol. 16, 1978.","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"31_CR9","first-page":"31","volume-title":"Complete Local Rings as Domains","author":"V Stoltenberg-Hansen","year":"1985","unstructured":"Stoltenberg-Hansen, V, and Tucker, J V: Complete Local Rings as Domains, Report 1.85, Centre for Theoretical Computer Science, Leeds University, England, 1985, 31 pp."},{"key":"31_CR10","volume-title":"Summer Conference on Category Theory and Computer Science","author":"S. Vickers","year":"1988","unstructured":"Vickers, Steven: A Fixpoint Construction of the p-adic Domain, to appear in: Summer Conference on Category Theory and Computer Science. Proceedings 1987, Springer-Verlag, Berlin, Heidelberg, New York, 1988."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:06Z","timestamp":1605626166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}