{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:21:48Z","timestamp":1776316908968,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005132","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":4,"title":["Partial derivatives on graphs for Kleene allegories"],"prefix":"10.1109","author":[{"given":"Yoshiki","family":"Nakamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"ref11","author":"conway","year":"1971","journal-title":"Regular Algebra and Finite Machines"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90041-D"},{"key":"ref13","volume":"39","author":"freyd","year":"1990","journal-title":"Categories Allegories"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/3-540-10003-2_74","article-title":"The complexity of the inquivalence problem for regular expressions with intersection","author":"f\u00fcrer","year":"1980","journal-title":"International Colloquium on Automata Languages and Programming"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1231082313"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","author":"harel","year":"2000","journal-title":"Dynamic Logic"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(76)80038-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151646"},{"key":"ref19","first-page":"244","article-title":"Kleene algebra with tests: Completeness and decidability","author":"kozen","year":"1996","journal-title":"Workshop Computer Science Logic"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41114-9_4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00182-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190768"},{"key":"ref5","volume":"3","author":"blackburn","year":"2006","journal-title":"Handbook of Modal Logic"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934508"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00228-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.09.024"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01225472"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.17"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.15.189-213"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80006-X"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(83)90079-5"},{"key":"ref23","volume":"41","author":"tarski","year":"1987","journal-title":"A Formalization of Set Theory without Variables"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005132.pdf?arnumber=8005132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:17Z","timestamp":1569987557000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005132\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005132","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}