{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:03Z","timestamp":1725515643605},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642313738"},{"type":"electronic","value":"9783642313745"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_22","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T09:00:57Z","timestamp":1340614857000},"page":"326-341","source":"Crossref","is-referenced-by-count":4,"title":["Management of Change in Declarative Languages"],"prefix":"10.1007","author":[{"given":"Mihnea","family":"Iancu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Rabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-22673-1_12","volume-title":"Intelligent Computer Mathematics","author":"S. Autexier","year":"2011","unstructured":"Autexier, S., David, C., Dietrich, D., Kohlhase, M., Zholudev, V.: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS (LNAI), vol.\u00a06824, pp. 164\u2013179. Springer, Heidelberg (2011)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-17172-7_4","volume-title":"Verification, Induction, Termination Analysis","author":"S. Autexier","year":"2010","unstructured":"Autexier, S., Hutter, D., Mossakowski, T.: Change Management for Heterogeneous Development Graphs. In: Siegler, S., Wasser, N. (eds.) Walther Festschrift. LNCS, vol.\u00a06463, pp. 54\u201380. Springer, Heidelberg (2010)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-44616-3_5","volume-title":"Recent Trends in Algebraic Development Techniques","author":"S. Autexier","year":"2000","unstructured":"Autexier, S., Hutter, D., Mantel, H., Schairer, A.: Towards an Evolutionary Formal Software-Development Using CASL. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 73\u201388. Springer, Heidelberg (2000)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-45719-4_34","volume-title":"Algebraic Methodology and Software Technology","author":"S. Autexier","year":"2002","unstructured":"Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The Development Graph Manager MAYA. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 495\u2013502. Springer, Heidelberg (2002)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Autexier, S., M\u00fcller, N.: Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng2010) (2010)","DOI":"10.1145\/1860559.1860580"},{"key":"22_CR6","unstructured":"Alama, J., Mamane, L., Urban, J.: Dependencies in Formal Mathematics. CoRR, abs\/1109.3687 (2011)"},{"key":"22_CR7","unstructured":"Apache Software Foundation. Apache Subversion (2000), \n                    \n                      http:\/\/subversion.apache.org\/"},{"key":"22_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-69937-8_10","volume-title":"Logic, Language, Information and Computation","author":"A. Bundy","year":"2008","unstructured":"Bundy, A., Chan, M.: Towards Ontology Evolution in Physics. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol.\u00a05110, pp. 98\u2013110. Springer, Heidelberg (2008)"},{"key":"22_CR9","unstructured":"Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaetano, M., Kohlhase, M.: The Open Math Standard, Version 2.0. Technical report, The Open Math Society (2004), \n                    \n                      http:\/\/www.openmath.org\/standard\/om20"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-22673-1_24","volume-title":"Intelligent Computer Mathematics","author":"M. Codescu","year":"2011","unstructured":"Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project Abstract: Logic Atlas and Integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS, vol.\u00a06824, pp. 289\u2013291. Springer, Heidelberg (2011)"},{"issue":"1","key":"22_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1006\/inco.2001.2951","volume":"179","author":"I. Cervesato","year":"2002","unstructured":"Cervesato, I., Pfenning, F.: A Linear Logical Framework. Information and Computation\u00a0179(1), 19\u201375 (2002)","journal-title":"Information and Computation"},{"key":"22_CR12","unstructured":"Concurrent Versions System: The open standard for Version Control, Web site at \n                    \n                      http:\/\/cvs.nongnu.org\/\n                    \n                    \n                   (seen February 2012)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Ellis, C., Gibbs, S.: Concurrency control in groupware systems. In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pp. 399\u2013407. ACM (1989)","DOI":"10.1145\/66926.66963"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-1-4612-2952-0","volume-title":"Automated Deduction - CADE-11","author":"W. Farmer","year":"1992","unstructured":"Farmer, W., Guttman, J., Thayer, F.: Little Theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 467\u2013581. Springer, Heidelberg (1992)"},{"key":"22_CR15","unstructured":"Git, Web Site at \n                    \n                      http:\/\/git-scm.com\/"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the Association for Computing Machinery\u00a040(1), 143\u2013184 (1993)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-22673-1_15","volume-title":"Intelligent Computer Mathematics","author":"F. Horozal","year":"2011","unstructured":"Horozal, F., Iacob, A., Jucovschi, C., Kohlhase, M., Rabe, F.: Combining Source, Content, Presentation, Narration, and Relational Representation. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS, vol.\u00a06824, pp. 212\u2013227. Springer, Heidelberg (2011)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Hutter, D.: Management of change in structured verification. In: Proceedings Automated Software Engineering, ASE 2000, pp. 23\u201334 (2000)","DOI":"10.1109\/ASE.2000.873647"},{"key":"22_CR19","unstructured":"Kohlhase, A., Kohlhase, M.: Versioned links. In: Proceedings of the 29th Annual ACM International Conference on Design of Communication (SIGDOC), (2011)"},{"key":"22_CR20","unstructured":"Rabe, F.: The MMT System (2008), \n                    \n                      https:\/\/trac.kwarc.info\/MMT\/"},{"key":"22_CR21","unstructured":"Rabe, F., Kohlhase, M.: A Scalable Module System (2011), \n                    \n                      http:\/\/arxiv.org\/abs\/1105.0548"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-22673-1_8","volume-title":"Intelligent Computer Mathematics","author":"F. Rabe","year":"2011","unstructured":"Rabe, F., Kohlhase, M., Sacerdoti Coen, C.: A Foundational View on Integration Problems. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS, vol.\u00a06824, pp. 107\u2013122. Springer, Heidelberg (2011)"},{"issue":"2","key":"22_CR23","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, G., Suttner, C.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning\u00a021(2), 177\u2013203 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"22_CR24","unstructured":"Trybulec, A., Blair, H.: Computer Assisted Reasoning with MIZAR. In: Joshi, A. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp. 26\u201328 (1985)"},{"key":"22_CR25","unstructured":"W3C. OWL 2 Web Ontology Language (2009), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-overview\/"},{"key":"22_CR26","unstructured":"Wagner, M.: A change-oriented architecture for mathematical authoring assistance. PhD thesis, Universit\u00e4t des Saarlands (2010)"}],"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-31374-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T09:42:11Z","timestamp":1556876531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}