{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:42Z","timestamp":1762458582562},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:16:50Z","timestamp":1187248610000},"page":"241-257","source":"Crossref","is-referenced-by-count":22,"title":["Implementation of Relational Algebra Using Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Leoniuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulf","family":"Milanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"17_CR1","unstructured":"Behnke R., Berghammer R., Schneider P.: Machine support of relational computations: The Kiel Rel View system. Bericht Nr. 9711, Inst. f\u00fcr Inf. und Prak. Math., Univ. Kiel (1997)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Behnke R., Berghammer R., Hoffmann T., Leoniuk B., Schneider P.: Applications of the Rel View system. In: Berghammer R., Lakhnech Y. (eds.): Tool support for system specification, development and verification. Advances in Computing, Springer, 33\u201347 (1999)","DOI":"10.1007\/978-3-7091-6355-9_3"},{"key":"17_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/BFb0053599","volume-title":"Rel View-A system for calculating with relations and relational programming","author":"R. Behnke","year":"1998","unstructured":"Behnke R., Berghammer R., Meyer E., Schneider P.: Rel View-A system for calculating with relations and relational programming. In: Astesiano E. (ed.): Proc. Conf. on Fundamental Approaches to Software Engineering (FASE\u2019 98), LNCS 1382, Springer, 318\u2013321 (1998)"},{"key":"17_CR4","first-page":"107","volume":"7","author":"R. Berghammer","year":"2001","unstructured":"Berghammer R., Hoffmann T.: Modelling sequences within the Rel View system. J. of Univ. Comp. Sci. 7, 107\u2013123 (2001)","journal-title":"J. of Univ. Comp. Sci."},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-61042-1_38","volume-title":"Relation-algebraic analysis of Petri nets with Rel View","author":"R. Berghammer","year":"1996","unstructured":"Berghammer R., Karger B. von, Ulke C.: Relation-algebraic analysis of Petri nets with Rel View. In: Margaria T., Steffen B. (eds.): Proc. Workshop on Tools and Applications for the Construction and Analysis of Systems (TACAS\u2019 96), LNCS 1055, Springer, 49\u201369 (1996)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Brink C., Kahl W., Schmidt G. (eds.): Relational methods in computer science. Advances in Comp. Sci., Springer (1997)","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"17_CR7","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 Comp. Surv. 24, 293\u2013318 (1992)","journal-title":"ACM Comp. Surv."},{"key":"17_CR8","unstructured":"Leoniuk B.: ROBDD-based implementation of relational algebra with applications (in German). Ph.D. thesis, Inst. f\u00fcr Inf. und Prak. Math., Univ. Kiel (2001)"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/12.144618","volume":"41","author":"H.-T. Liaw","year":"1992","unstructured":"Liaw H.-T., Lin C.-S.: On the OBDD representation of general Boolean functions. IEEE Transactions on Comp. 41, 661\u2013664 (1992)","journal-title":"IEEE Transactions on Comp"},{"key":"17_CR10","unstructured":"Milanese U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German). Ph.D. thesis, Inst. f\u00fcr Inf. und Prak. Math., Univ. Kiel (to appear)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Schmidt G., Str\u00f6hlein T.: Relations and graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theor. Comp. Sci., Springer (1993)","DOI":"10.1007\/978-3-642-77968-8"},{"key":"17_CR12","unstructured":"Somenzi, F.: CUDD: CU decision diagram package; Release 2.3.0. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cuddIntro.html (1998)"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T20:18:33Z","timestamp":1684009113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}