{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T14:02:52Z","timestamp":1648562572646},"reference-count":20,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.433-455","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T09:06:10Z","timestamp":1176282370000},"page":"433-455","source":"Crossref","is-referenced-by-count":0,"title":["On the relationships between theories of time granularity and the monadic second-order theory of one successor"],"prefix":"10.1080","volume":"16","author":[{"given":"Angelo","family":"Montanari","sequence":"first","affiliation":[{"name":"a   Dipartimento di Matematica e Informatica , Universit\u00e0 di Udine (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[{"name":"b   Dipartimento di Scienze Fisiche , Universit\u00e0 di Napoli \u2018Federico II' (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Puppis","sequence":"additional","affiliation":[{"name":"a   Dipartimento di Matematica e Informatica , Universit\u00e0 di Udine (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04228-1","volume-title":"Time Granularities in Databases, Data Mining, and Temporal Reasoning","author":"BETTINI C.","year":"2000"},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-1-4615-2289-8_19","volume-title":"The TSQL2 Temporal Query Language","author":"DYRESON C.","year":"1995"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(05)80005-7"},{"key":"CIT0004","first-page":"48","volume-title":"Proc. 1st International Conference on Temporal Logic - ICTL'94, LNAI 827","author":"FIADEIRO J."},{"key":"CIT0005","volume-title":"Dividing and conquering the layered land","author":"FRANCESCHET M.","year":"2001"},{"issue":"5","key":"CIT0006","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1017\/S147106840400208X","volume":"4","author":"FRANCESCHET M.","year":"2004","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"CIT0007","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/j.jal.2005.06.004","volume":"4","author":"FRANCESCHET M.","year":"2006","journal-title":"Journal of Applied Logic"},{"key":"CIT0008","first-page":"360","volume-title":"Proc. of American Association of Artificial Intelligence - AAAI'86","author":"LADKIN P."},{"key":"CIT0009","volume-title":"On Interprocess Communication","author":"LAMPORT L.","year":"1985"},{"key":"CIT0010","series-title":"ILLC Dissertation Series 1996-02","volume-title":"Metric and Layered Temporal Logic for Time Granularity","author":"MONTANARI A.","year":"1996"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1305\/ndjfl\/1040046089","volume":"37","author":"MONTANARI A.","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"CIT0012","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1093\/jigpal\/7.1.79","volume":"7","author":"MONTANARI A.","year":"1999","journal-title":"Logic Journal of the IGPL"},{"issue":"5","key":"CIT0013","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1093\/jigpal\/8.5.681","volume":"8","author":"MONTANARI A.","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00257-0","volume":"23","author":"MONTI A.","year":"2000","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"CIT0015","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/logcom\/12.4.641","volume":"12","author":"MONTANARI A.","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"CIT0016","first-page":"156","volume-title":"Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME)","author":"MONTANARI A."},{"key":"CIT0017","volume-title":"Automata for branching and layered temporal structures","author":"PUPPIS G.","year":"2006"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"CIT0019","first-page":"263","volume-title":"Proc. 7th Annual Symposium on Theoretical Aspects of Computer Science - STACS'90","author":"THOMAS W."},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of formal languages","author":"THOMAS W.","year":"1997"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.433-455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:30:36Z","timestamp":1498213836000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.433-455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":20,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.433-455"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.433-455","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}