{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:27:17Z","timestamp":1725823637072},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319202969"},{"type":"electronic","value":"9783319202976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20297-6_7","type":"book-chapter","created":{"date-parts":[[2015,6,21]],"date-time":"2015-06-21T21:55:05Z","timestamp":1434923705000},"page":"94-108","source":"Crossref","is-referenced-by-count":4,"title":["Satisfiability of ECTL* with Tree Constraints"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Carapelle","sequence":"first","affiliation":[]},{"given":"Shiguang","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Kartzow","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Lohrey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,23]]},"reference":[{"key":"7_CR1","unstructured":"Boja\u0144czyk, M., Toru\u0144czyk, S.: Weak MSO+U over infinite trees. In: Proceedings STACS 2012, vol. 14, pp. 648\u2013660. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2012)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11916277_14","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L Bozzelli","year":"2006","unstructured":"Bozzelli, L., Gascon, R.: Branching-time temporal logic extended with qualitative presburger constraints. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 197\u2013211. Springer, Heidelberg (2006)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.12.002","volume":"523","author":"L Bozzelli","year":"2014","unstructured":"Bozzelli, L., Pinchinat, S.: Verification of gap-order constraint abstractions of counter systems. Theor. Comput. Sci. 523, 1\u201336 (2014)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-40184-8_32","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"C Carapelle","year":"2013","unstructured":"Carapelle, C., Kartzow, A., Lohrey, M.: Satisfiability of CTL\n                    \n                      \n                    \n                    $$^{*}$$\n                    \n                      \n                        \n                          \n                          \n                            \n                            \u2217\n                          \n                        \n                      \n                    \n                   with constraints. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013 \u2013 Concurrency Theory. LNCS, vol. 8052, pp. 455\u2013469. Springer, Heidelberg (2013)"},{"key":"7_CR5","unstructured":"Carapelle, C., Kartzow, A., Lohrey, M.: Satisfiability of ECTL\n                    \n                      \n                    \n                    $${}^*$$\n                    \n                      \n                        \n                          \n                          \u2217\n                        \n                      \n                    \n                   with constraints. submitted for publication. \n                    http:\/\/www.eti.uni-siegen.de\/ti\/veroeffentlichungen\/ectl-with-constraints.pdf"},{"key":"7_CR6","unstructured":"Carapelle, C., Kartzow, A., Lohrey, M., Feng, S.: Satisfiability of \n                    \n                      \n                    \n                    $${\\sf ECTL} ^{*}$$\n                    \n                      \n                        \n                          \n                            ECTL\n                          \n                          \n                            \n                            \u2217\n                          \n                        \n                      \n                    \n                   with tree constraints. \n                    http:\/\/arXiv.org\/abs\/1412.2905"},{"key":"7_CR7","unstructured":"Demri, S., Deters,M.: Temporal logics on strings with prefix relation. Research Report LSV-14-13, ENS Cachan. \n                    http:\/\/www.lsv.ens-cachan.fr\/Publis\/RAPPORTS_LSV\/PDF\/rr-lsv-2014-13.pdf"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.tcs.2008.07.023","volume":"409","author":"S Demri","year":"2008","unstructured":"Demri, S., Gascon, R.: Verification of qualitative Z constraints. Theor. Comput. Sci. 409(1), 24\u201340 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR9","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03182-7","volume-title":"Finite Model Theory","author":"HD Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Perspectives in Mathematical Logic, 1st edn. Springer, Heidelberg (1995)","edition":"1"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.entcs.2009.05.040","volume":"239","author":"R Gascon","year":"2009","unstructured":"Gascon, R.: An automata-based approach for CTL\n                    \n                      \n                    \n                    $$^{*}$$\n                    \n                      \n                        \n                          \n                          \n                            \n                            \u2217\n                          \n                        \n                      \n                    \n                   with constraints. Electron. Notes Theor. Comput. Sci. 239, 193\u2013211 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/BFb0013041","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"W Thomas","year":"1989","unstructured":"Thomas, W.: Computation tree logic and regular omega-languages. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 690\u2013713. Springer, Heidelberg (1989)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/3-540-12896-4_383","volume-title":"Logics of Programs","author":"MY Vardi","year":"1984","unstructured":"Vardi, M.Y., Wolper, P.: Yet another process logic. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol. 164, pp. 501\u2013512. Springer, Heidelberg (1984)"},{"issue":"5","key":"7_CR13","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1090\/S0002-9939-1962-0172273-0","volume":"13","author":"ES Wolk","year":"1962","unstructured":"Wolk, E.S.: The comparability graph of a tree. Proc. Am. Math. Soc. 13(5), 789\u2013795 (1962)","journal-title":"Proc. Am. Math. Soc."},{"issue":"1","key":"7_CR14","first-page":"17","volume":"16","author":"ES Wolk","year":"1965","unstructured":"Wolk, E.S.: A note on \u201cthe comparability graph of a tree\u201d. Proc. Am. Math. Soc. 16(1), 17\u201320 (1965)","journal-title":"Proc. Am. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Computer Science -- Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20297-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T03:56:22Z","timestamp":1559188582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20297-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319202969","9783319202976"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20297-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}