{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:04:03Z","timestamp":1725595443163},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226724"},{"type":"electronic","value":"9783642226731"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22673-1_24","type":"book-chapter","created":{"date-parts":[[2011,7,13]],"date-time":"2011-07-13T07:49:15Z","timestamp":1310543355000},"page":"289-291","source":"Crossref","is-referenced-by-count":26,"title":["Project Abstract: Logic Atlas and Integrator (LATIN)"],"prefix":"10.1007","author":[{"given":"Mihai","family":"Codescu","sequence":"first","affiliation":[]},{"given":"Fulya","family":"Horozal","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Rabe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"LNCS","volume-title":"Workshop on Abstract Development Techniques","author":"M. Codescu","year":"2011","unstructured":"Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F., Sojakova, K.: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. In: Workshop on Abstract Development Techniques. LNCS. Springer, Heidelberg (to appear, 2011)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-02614-0_24","volume-title":"Intelligent Computer Mathematics","author":"J. Gi\u010deva","year":"2009","unstructured":"Gi\u010deva, J., Lange, C., Rabe, F.: Integrating Web Services into Active Mathematical Documents. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS, vol.\u00a05625, pp. 279\u2013293. Springer, Heidelberg (2009)"},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Horozal, F., Rabe, F.: Representing Model Theory in a Type-Theoretical Logical Framework. Theoretical Computer Science (to appear, 2011), \n                    \n                      http:\/\/kwarc.info\/frabe\/Research\/HR_folsound_10.pdf","DOI":"10.1016\/j.tcs.2011.03.022"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Iancu, M., Rabe, F.: Formalizing Foundations of Mathematics. Mathematical Structures in Computer Science (to appear, 2011), \n                    \n                      http:\/\/kwarc.info\/frabe\/Research\/IR_foundations_10.pdf","DOI":"10.1017\/S0960129511000144"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-14128-7_32","volume-title":"Intelligent Computer Mathematics","author":"M. Kohlhase","year":"2010","unstructured":"Kohlhase, M., Rabe, F., Zholudev, V.: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Rioboo, R., Sexton, A. (eds.) AISC 2010. LNCS, vol.\u00a06167, pp. 370\u2013384. Springer, Heidelberg (2010)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The Heterogeneous Tool Set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"24_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-48660-7_14","volume-title":"Automated Deduction - CADE-16","author":"F. Pfenning","year":"1999","unstructured":"Pfenning, F., Sch\u00fcrmann, C.: System description: Twelf - a meta-logical framework for deductive systems. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 202\u2013206. Springer, Heidelberg (1999)"},{"key":"24_CR9","unstructured":"Rabe, F.: A Logical Framework Combining Model and Proof Theory. Submitted to Mathematical Structures in Computer Science (2010), \n                    \n                      http:\/\/kwarc.info\/frabe\/Research\/rabe_combining_09.pdf"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Rabe, F.: Representing Isabelle in LF. In: Crary, K., Miculan, M. (eds.) Logical Frameworks and Meta-Languages: Theory and Practice. EPTCS, vol.\u00a034, pp. 85\u2013100 (2010)","DOI":"10.4204\/EPTCS.34.8"},{"key":"24_CR11","unstructured":"Rabe, F., Kohlhase, M.: A Scalable Module System. Under review (2011), \n                    \n                      http:\/\/arxiv.org\/abs\/1105.0548"},{"key":"24_CR12","first-page":"40","volume-title":"Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP)","author":"F. Rabe","year":"2009","unstructured":"Rabe, F., Sch\u00fcrmann, C.: A Practical Module System for LF. In: Cheney, J., Felty, A. (eds.) Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), pp. 40\u201348. ACM Press, New York (2009)"},{"key":"24_CR13","unstructured":"Zholudev, V., Kohlhase, M.: TNTBase: a Versioned Storage for XML. In: Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies, vol.\u00a03. Mulberry Technologies, Inc., (2009)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22673-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T21:52:48Z","timestamp":1553896368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22673-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226724","9783642226731"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22673-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}