{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T16:41:58Z","timestamp":1762015318566,"version":"build-2065373602"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/Crown.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/lics.2019.8785895","type":"proceedings-article","created":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T01:15:55Z","timestamp":1565054155000},"page":"1-13","source":"Crossref","is-referenced-by-count":12,"title":["High-level methods for homotopy construction in associative n-categories"],"prefix":"10.1109","author":[{"given":"David","family":"Reutter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamie","family":"Vicary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Normal forms for planar string diagrams","year":"2018","author":"delpeuch","key":"ref10"},{"journal-title":"The word problem for computads","year":"2005","author":"makkai","key":"ref11"},{"journal-title":"Higher-dimensional algebra vii Groupoidification","year":"2009","author":"baez","key":"ref12"},{"key":"ref13","article-title":"Cubical cospans and higher cobordisms","author":"grandis","year":"2008","journal-title":"JHRS"},{"key":"ref14","first-page":"389","article-title":"Double bicategories and double cospans","volume":"4","author":"morton","year":"2009","journal-title":"JHRS"},{"journal-title":"Compact closed bicategories","year":"2013","author":"stay","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1993.1055"},{"key":"ref4","article-title":"Coherence for tricate-gories","volume":"117","author":"gordon","year":"0","journal-title":"MAMS"},{"journal-title":"Higher Operads Higher Categories","year":"2003","author":"leinster","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1063\/1.531236"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005147"},{"journal-title":"The proof assistant homotopy io","year":"0","key":"ref7"},{"journal-title":"The theory of associative n-categories","year":"2019","author":"dorn","key":"ref2"},{"journal-title":"Associative n-categories","year":"2018","author":"dorn","key":"ref1"},{"key":"ref9","article-title":"Globular: an online proof assistant for higher-dimensional rewriting","volume":"14","author":"bar","year":"2018","journal-title":"LMCS"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2019,6,24]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785895.pdf?arnumber=8785895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:20:37Z","timestamp":1658262037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785895","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}