{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:37Z","timestamp":1762458457254},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289661"},{"type":"electronic","value":"9783540320708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11555964_4","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:25:34Z","timestamp":1127831134000},"page":"40-51","source":"Crossref","is-referenced-by-count":33,"title":["RelView \u2013 An OBDD-Based Computer Algebra System for Relations"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Frank","family":"Neumann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0053599","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Behnke","year":"1998","unstructured":"Behnke, R., et al.: RELVIEW \u2013 A system for calculation with relations and relational programming. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 318\u2013321. Springer, Heidelberg (1998)"},{"key":"4_CR2","first-page":"107","volume":"7","author":"R. Berghammer","year":"2001","unstructured":"Berghammer, R., Hoffmann, T.: Modelling sequences within the RelView system. J. of Univ. Comp. Sci.\u00a07, 107\u2013123 (2001)","journal-title":"J. of Univ. Comp. Sci."},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","year":"2004","unstructured":"Berghammer, R., M\u00f6ller, B., Struth, G. (eds.): RelMiCS 2003. LNCS, vol.\u00a03051. Springer, Heidelberg (2004)"},{"key":"4_CR4","series-title":"Advances in Computer Science","volume-title":"Relational methods in computer science","year":"1997","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational methods in computer science, Advances in Computer Science. Springer, Heidelberg (1997)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Com. Surv.\u00a024, 293\u2013318 (1992)","journal-title":"ACM Com. Surv."},{"key":"4_CR6","volume-title":"Introduction to lattices and orders","author":"B.A. Davey","year":"1991","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and orders. Cambridge Univ. Press, Cambridge (1991)"},{"key":"4_CR7","unstructured":"DIMACS implementation challenges (second challenge, 1992-1993), Available via, \n                  \n                    http:\/\/dimacs.rutgers.edu\/Challenges\/"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/3-540-45749-6_44","volume-title":"Algorithms - ESA 2002","author":"T. Fahle","year":"2002","unstructured":"Fahle, T.: Simple and fast: Improving a branch-and-bound algorithm for maximum clique. In: M\u00f6hring, R.H., Raman, R. (eds.) ESA 2002. LNCS, vol.\u00a02461, pp. 485\u2013498. Springer, Heidelberg (2002)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1109\/SEFM.2004.1347544","volume-title":"Proc. 2nd IEEE Int. Conf. on Software Engineering and Formal Methods","author":"A. Fronk","year":"2004","unstructured":"Fronk, A.: Using relational algebra for the analysis of Petri nets in a CASE tool based approach. In: Proc. 2nd IEEE Int. Conf. on Software Engineering and Formal Methods, pp. 396\u2013405. IEEE Press, Los Alamitos (2004)"},{"key":"4_CR10","unstructured":"Leoniuk, B.: ROBDD-based implementation of relational algebra with applications (in German). Diss., Univ. Kiel (2001)"},{"key":"4_CR11","unstructured":"Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German). Diss., Univ. Kiel (2003)"},{"key":"4_CR12","series-title":"EATCS Monographs on Theoret. Comp. Sci","volume-title":"Relations and graphs. Discrete mathematics for computer scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and graphs. Discrete mathematics for computer scientists. EATCS Monographs on Theoret. Comp. Sci. Springer, Heidelberg (1993)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Wegener, I.: Branching programs and binary decision diagrams: Theory and applications. SIAM Monographs on Discr. Math. and Appl., SIAM (2000)","DOI":"10.1137\/1.9780898719789"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11555964_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:07:24Z","timestamp":1619507244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11555964_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289661","9783540320708"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11555964_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}