{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:30:01Z","timestamp":1775097001465,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319247038","type":"print"},{"value":"9783319247045","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_4","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:31:29Z","timestamp":1443072689000},"page":"51-66","source":"Crossref","is-referenced-by-count":5,"title":["Completeness and Incompleteness in Nominal Kleene Algebra"],"prefix":"10.1007","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Mamouras","sequence":"additional","affiliation":[]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M., Klin, B., Lasota, S.: Automata theory in nominal sets. Logical Methods in Computer Science\u00a010(3) (2014)","DOI":"10.2168\/LMCS-10(3:4)2014"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: POPL 2013, pp. 457\u2013468 (January 2013)","DOI":"10.1145\/2480359.2429124"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M., Gabbay, M.J.: Nominal rewriting with name generation: abstraction vs. locality. In: PPDP 2005. ACM Press (July 2005)","DOI":"10.1145\/1069774.1069779"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Foster, N., Kozen, D., Milano, M., Silva, A., Thompson, L.: A coalgebraic decision procedure for NetKAT. In: POPL 2015, Mumbai, India, pp. 343\u2013355 (January 2015)","DOI":"10.1145\/2775051.2677011"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay, M., Pitts, A.M.: A new approach to abstract syntax involving binders. In: LICS 1999, Trento, Italy, pp. 214\u2013224 (July 1999)","DOI":"10.1109\/LICS.1999.782617"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay, M.J.: A study of substitution, using nominal techniques and Fraenkel-Mostowski sets. Theor. Comput. Sci.\u00a0410(12-13) (March 2009)","DOI":"10.1016\/j.tcs.2008.11.013"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.2178\/bsl\/1305810911","volume":"17","author":"M.J. Gabbay","year":"2011","unstructured":"Gabbay, M.J.: Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Bull. Symbolic Logic\u00a017(2), 161\u2013229 (2011)","journal-title":"Bull. Symbolic Logic"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-19805-2_25","volume-title":"Foundations of Software Science and Computational Structures","author":"M.J. Gabbay","year":"2011","unstructured":"Gabbay, M.J., Ciancia, V.: Freshness and Name-Restriction in Sets of Traces with Names. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 365\u2013380. Springer, Heidelberg (2011)"},{"issue":"6","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1455","DOI":"10.1093\/logcom\/exp033","volume":"19","author":"M.J. Gabbay","year":"2009","unstructured":"Gabbay, M.J., Mathijssen, A.: Nominal universal algebra: equational logic with names and binding. J. Logic and Computation\u00a019(6), 1455\u20131508 (2009)","journal-title":"J. Logic and Computation"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Kozen, D., Mamouras, K., Petri\u015fan, D., Silva, A.: Nominal Kleene coalgebra. TR, Computing and Information Science, Cornell University (February 2015), http:\/\/hdl.handle.net\/1813\/39108","DOI":"10.1007\/978-3-662-47666-6_23"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-319-06251-8_26","volume-title":"Relational and Algebraic Methods in Computer Science","author":"J. Ochremiak","year":"2014","unstructured":"Ochremiak, J.: Nominal sets over algebraic atoms. In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMiCS 2014. LNCS, vol.\u00a08428, pp. 429\u2013445. Springer, Heidelberg (2014)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge Tracts in Theoretical Computer Science, vol.\u00a057. Cambridge University Press (2013)","DOI":"10.1017\/CBO9781139084673"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Pous, D.: Symbolic algorithms for language equivalence and Kleene algebra with tests. In: POPL 2015, Mumbai, India, January 2015, pp. 357\u2013368 (2015)","DOI":"10.1145\/2775051.2677007"},{"key":"4_CR14","unstructured":"Silva, A.: Kleene Coalgebra. PhD thesis, University of Nijmegen (2010)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:52:50Z","timestamp":1748634770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}