{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:26:03Z","timestamp":1743071163763,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662437988"},{"type":"electronic","value":"9783662437995"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43799-5_22","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T03:46:18Z","timestamp":1412048778000},"page":"297-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Signature-Based Method of Deciding Program\u00a0Termination"],"prefix":"10.1007","author":[{"given":"Yaohui","family":"Li","sequence":"first","affiliation":[]},{"given":"Yuqing","family":"Song","sequence":"additional","affiliation":[]},{"given":"Zhifeng","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"22_CR1","unstructured":"Yang, L., Zhan, N., Xia, B., et al. Program verification by Using DISCOVERER. Proc.VSTTE\u201905, Zurich. (2005)"},{"key":"22_CR2","first-page":"70","volume-title":"Termination of Linear Programs","author":"A Tiwari","year":"2004","unstructured":"Tiwari, A.: Termination of Linear Programs, pp. 70\u201382. CAV\u201904, USA (2004). LNCS"},{"key":"22_CR3","volume-title":"Automated Proving and Discovery of Inequalities","author":"L Yang","year":"2008","unstructured":"Yang, L., Xia, B.C.: Automated Proving and Discovery of Inequalities. Science Press, China (2008)"},{"issue":"1","key":"22_CR4","first-page":"129","volume":"41","author":"J Li","year":"2009","unstructured":"Li, J., Li, Y., Feng, Y.: Termination of a class of nonlinear loop programs. J. Sichuan Univ. (Eng. Sci. Edition) 41(1), 129\u2013133 (2009)","journal-title":"J. Sichuan Univ. (Eng. Sci. Edition)"},{"key":"22_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6911-1","volume-title":"Using Algebric Geometry","author":"DA Cox","year":"1998","unstructured":"Cox, D.A., Little, J.B., O\u2019Shea, Donald, B.: Using Algebric Geometry. Springer, New York (1998)"},{"key":"22_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4344-1","volume-title":"Algorithmic Algebra","author":"B Mirshra","year":"1993","unstructured":"Mirshra, B.: Algorithmic Algebra. Springer, New York (1993)"},{"key":"22_CR7","volume-title":"Nonlinear Algebraic Equation System and Automated Theorem Proving","author":"L Yang","year":"1996","unstructured":"Yang, L., Zhang, J.Z., Hou, X.R.: Nonlinear Algebraic Equation System and Automated Theorem Proving. ShangHai Scientific and Technological Education Publishing House, Shanghai (1996)"},{"key":"22_CR8","volume-title":"Formal Techniques for software Embeded System","author":"CZ Zhou","year":"2008","unstructured":"Zhou, C.Z.: Formal Techniques for software Embeded System. East-China Normal University, Shanghai (2008)"}],"container-title":["Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43799-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T15:00:40Z","timestamp":1722870040000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-43799-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437988","9783662437995"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43799-5_22","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}