{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:25Z","timestamp":1725664765671},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616290"},{"type":"electronic","value":"9783540706427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61629-2_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:08:03Z","timestamp":1330294083000},"page":"291-305","source":"Crossref","is-referenced-by-count":1,"title":["InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations"],"prefix":"10.1007","author":[{"given":"Marcus","family":"Klar","sequence":"first","affiliation":[]},{"given":"Robert","family":"Geisler","sequence":"additional","affiliation":[]},{"given":"Felix","family":"Cornelius","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Bardohl. Concept and Implementation of the Language GVT for the Graphical Visualisation of Terms of Algebraic Specifications (in german). Master's thesis, Technische Universit\u00e4t Berlin, 1993.","key":"18_CR1","DOI":"10.1007\/978-3-642-51136-3_3"},{"unstructured":"I. Cla\u00dfen. Compositionality of Application Oriented Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. PhD thesis, Technische Universit\u00e4t Berlin, 1993.","key":"18_CR2"},{"doi-asserted-by":"crossref","unstructured":"I. Cla\u00dfen, H. Ehrig, and D. Wolz. Algberaic Specification Techniques and Tools for Software Development \u2014 The ACT Approach. AMAST Series in Computing Vol. 1. World Scientific, 1993.","key":"18_CR3","DOI":"10.1142\/9789814440813_0001"},{"key":"18_CR4","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"unstructured":"R. Geisler and M. Klar. Design and Realisation of the Interactive Theorem-and Completeness Prover InterACT for Algebraic Specifications (in german). Master's thesis, Technische Universit\u00e4t Berlin, June 1995.","key":"18_CR5"},{"doi-asserted-by":"crossref","unstructured":"M. Heisel, W. Reif, and W. Stephan. Tactical theorem proving in program verification. In 10th International Conference on Automated Deduction. Springer LNCS 449, July 1990.","key":"18_CR6","DOI":"10.1007\/3-540-52885-7_83"},{"doi-asserted-by":"crossref","unstructured":"T. Langbacka, R. Ruksenas, and J. von Wright. TkWinHOL A Tool for Doing Window Inference in HOL. Technical report, Abo Akademi University, 1995.","key":"18_CR7","DOI":"10.1007\/3-540-60275-5_69"},{"doi-asserted-by":"crossref","unstructured":"L.C. Paulson. Logic and Computation. Cambridge University Press, 1987.","key":"18_CR8","DOI":"10.1017\/CBO9780511526602"},{"doi-asserted-by":"crossref","unstructured":"L.C. Paulson. Isabelle. Springer LNCS 828, 1994.","key":"18_CR9","DOI":"10.1007\/BFb0030541"},{"doi-asserted-by":"crossref","unstructured":"P. Robinson and J. Staples. Formalizing a hierarchical structure of practical mathematical reasoning. Journal of Logic and Computation, 3(1), Feb. 1993.","key":"18_CR10","DOI":"10.1093\/logcom\/3.1.47"},{"unstructured":"J. Rumbaugh. Eine Betrachtung der Architektur Model-View-Controller (MVC) (in german). OBJEKTspektrum, 3, M\u00e4rz 94.","key":"18_CR11"},{"doi-asserted-by":"crossref","unstructured":"D. Wolz. Design of a compiler for lazy pattern driven narrowing. In Proc. of the 7th International Workshop on the Specification of Abstract Data Types, LNCS 534. Springer, 1991.","key":"18_CR12","DOI":"10.1007\/3-540-54496-8_19"},{"unstructured":"D. Wolz. A tool for checking ADT completeness and consistency. In Proc. of the third LOTOSPHERE workshop, Pisa, 1992.","key":"18_CR13"},{"unstructured":"H. Zhang, D. Kapur, and M. S. Krishnamoorthy. A mechanizable induction prinziple for equational specifications. In E. Lusk and R. Overbeek, editors, 10th International Conference on Automated Deduction (LNCS 310). Springer, 1988.","key":"18_CR14"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61629-2_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:53:09Z","timestamp":1640947989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61629-2_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616290","9783540706427"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61629-2_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}