{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:23:58Z","timestamp":1725711838361},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357367"},{"type":"electronic","value":"9783642357374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35737-4_6","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:12:22Z","timestamp":1357780342000},"page":"89-110","source":"Crossref","is-referenced-by-count":2,"title":["Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics"],"prefix":"10.1007","author":[{"given":"Mykola S.","family":"Nikitchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentyn G.","family":"Tymofieiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman & Hall, London (1997)","edition":"4"},{"key":"6_CR2","volume-title":"Decision Procedures \u2013 an Algorithmic Point of View","author":"D. Kroening","year":"2008","unstructured":"Kroening, D., Strichman, O.: Decision Procedures \u2013 an Algorithmic Point of View. Springer, Heidelberg (2008)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.: Practical Applications of Boolean Satisfiability. In: Workshop on Discrete Event Systems, Goteborg, Sweden, May 28-30, pp. 74\u201380 (2008)","DOI":"10.1109\/WODES.2008.4605925"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R. Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT modulo theories: from an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). J. ACM\u00a053, 937\u2013977 (2006)","journal-title":"J. ACM"},{"issue":"9","key":"6_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L. Moura de","year":"2011","unstructured":"de Moura, L., Bj\u00f8rner, N.: Satisfiability Modulo Theories: Introduction and Applications. Comm. ACM\u00a054(9), 69\u201377 (2011)","journal-title":"Comm. ACM"},{"key":"6_CR6","unstructured":"Nikitchenko, N.S.: A Composition Nominative Approach to Program Semantics. Technical Report IT, TR 1998-020, Technical University of Denmark (1998)"},{"key":"6_CR7","series-title":"Workshops in Computing Series","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-1-4471-3577-7_16","volume-title":"East-West Database Workshop","author":"I.A. Basarab","year":"1995","unstructured":"Basarab, I.A., Gubsky, B.V., Nikitchenko, N.S., Red\u2019ko, V.N.: Composition Models of Databases. In: Eder, J., Kalinichenko, L.A. (eds.) East-West Database Workshop. Workshops in Computing Series, pp. 221\u2013231. Springer, London (1995)"},{"key":"6_CR8","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction. John Wiley & Sons Inc. (1992)"},{"key":"6_CR9","first-page":"24","volume":"6","author":"M.S. Nikitchenko","year":"2009","unstructured":"Nikitchenko, M.S.: Composition-Nominative Aspects of Address Programming. Kibernetika I Sistemnyi Analiz\u00a06, 24\u201335 (2009) (in Russian)","journal-title":"Kibernetika I Sistemnyi Analiz"},{"key":"6_CR10","unstructured":"Nikitchenko, M.S., Shkilnyak, S.S.: Mathematical Logic and Theory of Algorithms. Publishing House of Taras Shevchenko National University of Kyiv, Kyiv (2008) (in Ukrainian)"},{"key":"6_CR11","unstructured":"Nikitchenko, M.S., Tymofieiev, V.G.: Satisfiability Problem in Composition-Nominative Logics. In: Proceedings of the Eleventh International Conference on Informatics INFORMATICS 2011, Roznava, Slovakia, November 16-18, pp. 75\u201380 (2011)"},{"key":"6_CR12","unstructured":"Nikitchenko, M.S., Tymofieiev, V.G.: Satisfiability in Composition-Nominative Logics. Central European Journal of Computer Science (to appear)"},{"key":"6_CR13","unstructured":"Nikitchenko, M.S., Tymofieiev, V.G.: Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. In: Proc. 8th Int. Conf. ICTERI 2012, Kherson, Ukraine, June 6-10, vol.\u00a0848. CEUR-WS.org (2012), http:\/\/ceur-ws.org\/Vol-848\/ICTERI-2012-CEUR-WS-paper-38-p-56-70.pdf"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. MIT Press (1993)","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Blamey, S.: Partial Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III. D. Reidel Publishing Company (1986)","DOI":"10.1007\/978-94-009-5203-4_1"},{"key":"6_CR16","first-page":"3","volume":"145","author":"C.B. Jones","year":"2006","unstructured":"Jones, C.B.: Reasoning About Partial Functions in the Formal Development of Programs. ENTCS\u00a0145, 3\u201325 (2006)","journal-title":"ENTCS"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BF01211555","volume":"5","author":"O. Owe","year":"1997","unstructured":"Owe, O.: Partial Logics Reconsidered: A Conservative Approach. Form Asp. Comput.\u00a05, 208\u2013223 (1997)","journal-title":"Form Asp. Comput."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Janssen, T.M.V.: Compositionality. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 417\u2013473. Elsevier and MIT Press (1997)","DOI":"10.1016\/B978-044481714-3\/50011-4"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0890-5401(03)00138-X","volume":"186","author":"A.M. Pitts","year":"2003","unstructured":"Pitts, A.M.: Nominal Logic, A First Order Theory of Names and Binding. Inform Comput.\u00a0186, 165\u2013193 (2003)","journal-title":"Inform Comput."},{"key":"6_CR20","unstructured":"Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability. IOS Press (2009)"}],"container-title":["Communications in Computer and Information Science","ICT in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35737-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:25:03Z","timestamp":1620134703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35737-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357367","9783642357374"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35737-4_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}