{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,14]],"date-time":"2023-06-14T05:27:47Z","timestamp":1686720467549},"reference-count":31,"publisher":"Informa UK Limited","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1080\/00207161003631885","type":"journal-article","created":{"date-parts":[[2011,1,26]],"date-time":"2011-01-26T12:54:08Z","timestamp":1296046448000},"page":"1819-1829","source":"Crossref","is-referenced-by-count":14,"title":["The complexity space of partial functions: a connection between complexity analysis and denotational semantics"],"prefix":"10.1080","volume":"88","author":[{"given":"S.","family":"Romaguera","sequence":"first","affiliation":[]},{"given":"M. P.","family":"Schellekens","sequence":"additional","affiliation":[]},{"given":"O.","family":"Valero","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Control Flow Semantics","author":"de Bakker J. W.","year":"1996"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-8641(97)00140-5"},{"key":"CIT0003","volume-title":"Introduction to Lattices and Order","author":"Davey B. A.","year":"1990"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793304741"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/BF01177551"},{"key":"CIT0006","volume-title":"Quasi-Uniform Spaces","author":"Fletcher P.","year":"1982"},{"key":"CIT0007","volume-title":"Convex Cones","author":"Fuchssteiner B.","year":"1981"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/S0895-7177(02)00100-0"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80764-3"},{"key":"CIT0010","unstructured":"Garc\u00eda-Raffi, L. M., Romaguera, S., S\u00e1nchez-P\u00e9rez, E. A. and Valero, O. Normed Semialgebras: A Mathematical Model for the Complexity Analysis of Programs and Algorithms. Proceedings of The 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, Florida, USA. Edited by: Callaos, N., Di Sciullo, A. M., Ohta, T. and Liu, T.K. Vol. II, pp.55\u201358. Orlando, FL: International Institute of Informatics and Systemics."},{"key":"CIT0011","first-page":"633","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics","author":"Gunter C. A.","year":"1990"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80038-6"},{"key":"CIT0013","volume-title":"General Topology","author":"Kelley J. L.","year":"1955"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1007\/978-94-017-0470-0_3","volume-title":"Handbook of the History of General Topology","volume":"3","author":"K\u00fcnzi H. P.A.","year":"2001"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Medina, J., Ojeda-Aciego, M. and Ruiz-Calvi\u00f1o, J. A fixed point theorem for multi-valued functions with an application to multilattice-based logic programming. Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7\u201310, 2007, Proceedings. Edited by: Masulli, F., Mitra, S. and Pasi, G. Vol. 4578, pp.37\u201344. Berlin: Springer-Verlag. Notes in Artificial Intelligence","DOI":"10.1007\/978-3-540-73400-0_5"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80769-2"},{"key":"CIT0017","first-page":"685","volume":"28","author":"Rodr\u00edguez-L\u00f3pez J.","year":"2004","journal-title":"Southeast Asian Bull. Math."},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1163\/157404006778330816"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1080\/00207160701210653"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-8641(98)00102-3"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.2989\/16073600009485983"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"91","DOI":"10.4995\/agt.2002.2116","volume":"3","author":"Romaguera S.","year":"2002","journal-title":"Appl. Gen. Topol."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1080\/00207160701210117"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80772-2"},{"key":"CIT0025","first-page":"569","volume":"39","author":"Romaguera S.","year":"2003","journal-title":"Kybernetika"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00029-5"},{"key":"CIT0027","unstructured":"Schellekens, M. 1995. \u201cThe smyth completion: A common topological foundation for denotational semantics and complexity analysis\u201d. Pittsburgh: Carnegie Mellon University. Ph.D. thesis"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm108"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1137\/070695976"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360308"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.063"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207161003631885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T04:10:18Z","timestamp":1559967018000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207161003631885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":31,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["10.1080\/00207161003631885"],"URL":"https:\/\/doi.org\/10.1080\/00207161003631885","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}