{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T07:40:02Z","timestamp":1737358802085,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424871"},{"type":"electronic","value":"9783540446699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44669-9_34","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:32:26Z","timestamp":1186741946000},"page":"359-371","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Homomorphisms of Relational Structures"],"prefix":"10.1007","author":[{"given":"Micha\u0142","family":"Walicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adis","family":"Hodzic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sigurd","family":"Meldal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,2]]},"reference":[{"key":"34_CR1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1080\/03081078608934932","volume":"12","author":"W. Bandler","year":"1986","unstructured":"Bandler, W. AND Kohout, L. J. On new types of homomorphisms and congruences for partial algebras and n-ary relations. Int. J. General Systems 12, 149\u2013157. (1986).","journal-title":"Int. J. General Systems"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1080\/03081078608934954","volume":"13","author":"W. Bandler","year":"1986","unstructured":"Bandler, W. AND Kohout, L. J. On the general theory of relational morphisms. Int. J. General Systems 13, 47\u201366. (1986).","journal-title":"Int. J. General Systems"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0378-8733(92)90018-3","volume":"14","author":"J. P. Boyd","year":"1992","unstructured":"Boyd, J. P. Relational homomorphisms. Social Networks 14, 163\u2013186. (1992).","journal-title":"Social Networks"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01196091","volume":"30","author":"C. Brink","year":"1993","unstructured":"Brink, C. Power structures. Algebra Universalis 30, 177\u2013216. (1993).","journal-title":"Algebra Universalis"},{"key":"34_CR5","unstructured":"Brink, C., Jacobs, D., Netle, K., AND Sekran, R. Generalized quotient algebras and power algebras. (1997), [unpublished]."},{"key":"34_CR6","doi-asserted-by":"crossref","DOI":"10.1515\/9783112720875","volume-title":"A Model Theoretic Oriented Approach to Partial Algebras","author":"P. Burmeister","year":"1986","unstructured":"Burmeister, P.A Model Theoretic Oriented Approach to Partial Algebras. Akademie-Verlag, Berlin. (1986)."},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Cohn, P. M.Universal Algebra. D. Reidel Publishing Company. (1981), [series \u201cMathematics and Its Applications\u201d, vol. 6].","DOI":"10.1007\/978-94-009-8399-1"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Glenn, P. Identification of certain structures as split opfibrations over \u03b4op. (1997), [to appear in Journal of Pure and Applied Algebra].","DOI":"10.1016\/S0022-4049(96)00027-8"},{"key":"34_CR9","unstructured":"Gratzer, G.Universal Algebra. Springer. (1968)."},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Hansoul, G. A subdirect decomposition theorem for multialgebras. Algebra Universalis 16. (1983).","DOI":"10.1007\/BF01191781"},{"key":"34_CR11","unstructured":"Hodzic, A. Categories of multialgebras. Technical report, M.Sc. Thesis at University of Bergen, Dept. of Informatics. (2001), [forthcoming]."},{"key":"34_CR12","unstructured":"Hussmann, H.Nondeterministic algebraic specifications. Ph. D. thesis, Fak. f. Mathematik und Informatik, Universitat Passau. (1990)."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Hussmann, H.Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkh\u00e4user. (1993), [revised version of [12]].","DOI":"10.1007\/978-1-4684-6834-2"},{"key":"34_CR14","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\u00f3nsson","year":"1982","unstructured":"J\u00f3nsson, B. Varieties of relation algebras. Algebra Universalis 15, 273\u2013298. (1982).","journal-title":"Algebra Universalis"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. AND Tarski, A. Boolean algebras with Operators i. American J. Mathematics 73, 891\u2013939. (1951).","journal-title":"American J. Mathematics"},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B. AND Tarski, A. Boolean algebras with operators ii. American J. Mathematics 74, 127\u2013162. (1952).","journal-title":"American J. Mathematics"},{"key":"34_CR17","unstructured":"Kapur, D.Towards a Theory of Abstract Data Types. Ph. D. thesis, Laboratory for CS, MIT. (1980)."},{"issue":"5","key":"34_CR18","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s002360050165","volume":"36","author":"B. Konikowska","year":"1999","unstructured":"Konikowska, B. AND Blaklaslk, M. Reasoning with nondeterministic specifications. Acta Informatica 36,5, 375\u2013403. (1999).","journal-title":"Acta Informatica"},{"key":"34_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Reasoning and rewriting with set-relations II: the non-ground case","author":"V. Kriau\u010diukas","year":"1996","unstructured":"Kriau\u010diukas, V. AND Walicki, M.Reasoning and rewriting with set-relations II: the non-ground case. LNCS vol. 1130, Springer. (1996)."},{"key":"34_CR20","unstructured":"Klo\u015b, J. Homomorphisms of relations. (1985), [manuscript, Warszawa]."},{"issue":"2","key":"34_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF01204780","volume":"34","author":"R. Madar\u00e1sz","year":"1995","unstructured":"Madar\u00e1sz, R. Remarks on power structures. Algebra Universalis 34,2, 179\u2013184. (1995).","journal-title":"Algebra Universalis"},{"key":"34_CR22","unstructured":"Mostowski, A.Mathematical Logic. Warszawa-WrocHlaw. (1948), [in Polish]."},{"key":"34_CR23","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Nipkow","year":"1986","unstructured":"Nipkow, T. Non-deterministic data types: models and implementations. Acta Informatica 22, 629\u2013661. (1986).","journal-title":"Acta Informatica"},{"key":"34_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Observing non-deterministic data types","author":"T. Nipkow","year":"1987","unstructured":"Nipkow, T.Observing non-deterministic data types. LNCS vol. 332, Springer. (1987)."},{"key":"34_CR25","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0022-2496(82)90008-6","volume":"25","author":"P. Pattison","year":"1982","unstructured":"Pattison, P. The analysis of semigroups of multirelational systems. J. Mathematical Psychology 25, 87\u2013117. (1982).","journal-title":"J. Mathematical Psychology"},{"key":"34_CR26","doi-asserted-by":"crossref","unstructured":"Pickert, G. Bemerkungen zum homomorphie-begriff. Mathematische Zeitschrift 53. (1950).","DOI":"10.1007\/BF01166282"},{"key":"34_CR27","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2140\/pjm.1967.21.327","volume":"21","author":"H. Pickett","year":"1967","unstructured":"Pickett, H. Homomorphisms and subalgebras of multialgebras. Pacific J. of Mathematics 21, 327\u2013342. (1967).","journal-title":"Pacific J. of Mathematics"},{"key":"34_CR28","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01196554","volume":"30","author":"V. V. Topentcharov","year":"1993","unstructured":"Topentcharov, V. V. Composition g\u00e9n\u00e9rale des relations. Algebra Universalis 30, 119\u2013139. (1993).","journal-title":"Algebra Universalis"},{"key":"34_CR29","unstructured":"Walicki, M. AND Biaklsik, M. Relations, multialgebras and homomorphisms. Technical Report 838, Institute of Computer Science, Polish Academy of Sciences. (1997)."},{"key":"34_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in ADT","author":"M. Walicki","year":"1997","unstructured":"Walicki, M. AND Biaklsik, M. (some) categories of relational structures. Recent Trends in ADT, LNCS 1376. (1997)."},{"key":"34_CR31","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/201059.201070","volume":"17","author":"M. Walicki","year":"1995","unstructured":"Walicki, M. AND Meldal, S. A complete calculus for the multialgebraic and functional semantics of nondeterminism. ACM ToPLaS 17, 2. (1995).","journal-title":"ACM ToPLaS"},{"key":"34_CR32","series-title":"Lect Notes Comput Sci","volume-title":"Multialgebras, power algebras and complete calculi of identities and inclusions","author":"M. Walicki","year":"1995","unstructured":"Walicki, M. AND Meldal, S.Multialgebras, power algebras and complete calculi of identities and inclusions. LNCS vol. 906, Springer. (1995)."},{"key":"34_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/248621.248623","volume":"29","author":"M. Walicki","year":"1997","unstructured":"Walicki, M. AND Meldal, S. Algebraic approaches to nondeterminism-an overview. ACM Computing Surveys 29, 1 (March). (1997).","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44669-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T07:27:41Z","timestamp":1737358061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44669-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424871","9783540446699"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-44669-9_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}