{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:17:10Z","timestamp":1743056230707,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022722"},{"type":"electronic","value":"9783642022739"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02273-9_1","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T10:12:17Z","timestamp":1246011137000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Synthesis of Equational Deduction Systems"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-Kil","family":"Hur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Theoretical Computer Science","first-page":"1704","volume-title":"Special issue for Automata, Languages and Programming (ICALP\u00a02007)","author":"M. Fiore","year":"2009","unstructured":"Fiore, M., Hur, C.-K.: On the construction of free algebras for equational systems. In: Special issue for Automata, Languages and Programming (ICALP\u00a02007). Theoretical Computer Science, vol.\u00a0410, pp. 1704\u20131729. Elsevier, Amsterdam (2009)"},{"key":"1_CR2","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"171","volume-title":"Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS\u00a0XXIV)","author":"M. Fiore","year":"2008","unstructured":"Fiore, M., Hur, C.-K.: Term equational systems and logics. In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS\u00a0XXIV). Electronic Notes in Theoretical Computer Science, vol.\u00a0218, pp. 171\u2013192. Elsevier, Amsterdam (2008)"},{"key":"1_CR3","unstructured":"Fiore, M.: Algebraic theories and equational logics. In: Invited tutorial at the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS\u00a0XXIV (2008), \n                  \n                    http:\/\/www.cl.cam.ac.uk\/~mpf23\/"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/LICS.2008.38","volume-title":"23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)","author":"M. Fiore","year":"2008","unstructured":"Fiore, M.: Second-order and dependently-sorted abstract syntax. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pp. 57\u201368. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"1_CR5","unstructured":"Hur, C.-K.: Categorical Equational Systems: Algebraic Models and Equational Reasoning. Forthcoming PhD\u00a0thesis. Computer Laboratory, University of Cambridge (2009)"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02273-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T19:54:43Z","timestamp":1552074883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02273-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022722","9783642022739"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02273-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}