{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:54Z","timestamp":1725549174025},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243182"},{"type":"electronic","value":"9783540305002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30500-2_35","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T11:39:36Z","timestamp":1267443576000},"page":"321-322","source":"Crossref","is-referenced-by-count":2,"title":["From Automata to Semilinear Sets: A Logical Solution for Sets $\\mathcal{L}$ ( $\\mathcal{C}$ , $\\mathcal{P}$ )"],"prefix":"10.1007","author":[{"given":"Denis","family":"Lugiez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45619-8_1","volume-title":"Logic Programming","author":"B. Boigelot","year":"2002","unstructured":"Boigelot, B., Wolper, P.: Representing arithmetic constraints with finite automata: An overview. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 1\u201319. Springer, Heidelberg (2002)"},{"key":"35_CR2","volume-title":"Proc. 19th LICS","author":"L. Latour","year":"2004","unstructured":"Latour, L.: From automata to formulas: Convex integer polyhedra. In: Proc. 19th LICS. IEEE, Los Alamitos (2004) (to appear)"},{"key":"35_CR3","unstructured":"Leroux, J.: Algorithmique de la verification des syst\u00e8mes \u00e0 compteurs. Approximation et acc\u00e9l\u00e9ration. Impl\u00e9mentation de l\u2019outil FAST. PhD thesis, ENS-Cachan chan. (December 2003), \n                    \n                      http:\/\/www.lsv.enscachan.fr\/Publis\/PAPERS\/Leroux-these.ps"},{"key":"35_CR4","unstructured":"Lugiez, D.: From automata to semilinear sets: a solution for polyhedra and even more general sets. Technical report, LIF (2004), available from: \n                    \n                      http:\/\/www.lif.univ-mrs.fr\/"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"1433","DOI":"10.1016\/S0304-3975(02)00047-6","volume":"290","author":"A. Muchnik","year":"2003","unstructured":"Muchnik, A.: The definable criterion for definability in Presburger arithmetic and its applications. Th. Comp. Science\u00a0290, 1433\u20131444 (2003)","journal-title":"Th. Comp. Science"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/3-540-45657-0_32","volume-title":"Computer Aided Verification","author":"T. Rybina","year":"2002","unstructured":"Rybina, T., Voronkov, A.: Using canonical representation of solutions to speed-up infinite-state model-checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 386\u2013400. Springer, Heidelberg (2002)"},{"key":"35_CR7","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, NewYork (1986)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30500-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:57:18Z","timestamp":1605743838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30500-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243182","9783540305002"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30500-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}