{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:31:27Z","timestamp":1730280687664,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005143","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["Differentiation in logical form"],"prefix":"10.1109","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[]},{"given":"Mehrdad","family":"Maleki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90072-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3503-6_4"},{"key":"ref10","article-title":"A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations","author":"edalat","year":"2014","journal-title":"Theoretical Computer Science 564 89106"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004359"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.11.006"},{"journal-title":"Differentiation in logical form (full version)","year":"2017","author":"edalat","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00392-X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-8641(97)00226-5"},{"key":"ref16","first-page":"19","article-title":"Assigning meanings to programs","author":"floyd","year":"0","journal-title":"Mathematical Aspects of Computer Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717761"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref28","first-page":"37","article-title":"The theory of representations for Boolean algebras","author":"stone","year":"1936","journal-title":"Trans American Math Soc"},{"journal-title":"Optimization and Nonsmooth Analysis","year":"1983","author":"clarke","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036946"},{"key":"ref3","article-title":"A convenient differential category","author":"blute","year":"2010","journal-title":"CoRR"},{"journal-title":"MATLAB Primer","year":"2005","author":"davis","key":"ref6"},{"journal-title":"Topology Via Logic","year":"1988","author":"vickers","key":"ref29"},{"journal-title":"Nonsmooth Analysis and Control Theory","year":"1998","author":"clarke","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_22"},{"key":"ref2","article-title":"Domain theory","volume":"3","author":"abramsky","year":"1994","journal-title":"Handbook of Logic in Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68546-5_19"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"journal-title":"Stone Spaces Volume 3 of Cambridge Studies in Advanced Mathematics","year":"1982","author":"johnstone","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1111\/j.1749-6632.1996.tb49171.x"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38164-5_12"},{"key":"ref24","first-page":"169","article-title":"Outline of a mathematical theory of computation","author":"scott","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526282"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90045-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012801"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","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\/08005143.pdf?arnumber=8005143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T19:59:02Z","timestamp":1513195142000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005143\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005143","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}