Categories of relational structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1376, Issue , 1998, Pages 418-433

  Walicki, Michał ^a   Białasik, Marcin ^b  

^a UNIVERSITY OF BERGEN   (Norway)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 80053985961     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64299-4_48     Document Type: Conference Paper

References (29)

1. Białasik, M. and Konikowska, B.: Reasoning with nondeterministic specifications. Tech. Rep. 793, Polish Academy of Sciences, Institute of CS. (1995).
2. Białasik, M. and Walicki, M. Relations, multialgebras and homomorphisms. Tech. Rep. 838, Polish Academy of Sciences, Institute of CS. (1997).
3. BOYD, J. P. Relational homomorphisms. Social Networks 14, 163-186. (1992).
4. BRINK, C. Power structures. Algebra Universalis 30, 177-216. (1993).
5. BRINK, C., JACOBS, D., NETLE, K., and SEKRAN, R. Generalized quotient algebras and power algebras. (1997), [unpublished].
6. Burmeister, P. A Model Theoretic Oriented Approach to Partial Algebras. Akademie-Verlag, Berlin. (1986).
7. COHN, P. M. Universal Algebra. D. Reidel Publishing Company. (1981), [series "Mathematics and Its Applications", vol. 61.
8. ELIENBERG, S. and WRIGHT, J. Automata in general algebras. Information and Control 11, 425-470. (1967).
9. GLENN, P. Identification of certain structures as split opfibrations over A p. (1997), [to appear in Journal of Pure and Applied Algebra].
10. GOLDBLATT, R. Varieties of complex algebras. Annals of Pure and Applied Logic 44, 173-242. (1989).
11. Grätzer, G. Universal Algebra. Springer. (1968).
12. Grätzer, G. and WHITNEY, S. Infinitary varieties of structures closed under the formation of complex structures. Colloq. Math. 48. (1984).
13. HUSSMANN, H. Nondeterministic algebraic specifications and nonconfluent term rewriting. In Algebraic and Logic Programming. LNCS vol. 343, Springer. (1988).
14. HUSSMANN, H. Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkhäuser. (1993).
15. Jònsson, B. and TARSKI, A.: Boolean algebras with operators I. American J. Mathematics 73, 891-939. (1951).
16. Jònsson, B. and TARSKI, A. Boolean algebras with operators II. American J. Mathematics 74, 127-162. (1952).
17. KAPUR, D. Towards a Theory of Abstract Data Types. Ph.D. thesis, Laboratory for CS, MIT. (1980).
18. Loś, J. Homomorphisms of relations. (1985), [manuscript, Warszawa].
19. MADARASZ, R. Remarks on power structures. Algebra Universalis 34, 2, 179-184. (1995).
20. MOSTOWSKI, A. Mathematical Logic. Warszawa-Wrocław. (1948), [in Polish].
21. NIPKOW, T. Non-deterministic data types: models and implementations. Acta Informatica 22, 629-661. (1986).
22. NIPKOW, T. Observing non-deterministic data types. LNCS vol. 332, (1987).
23. PATTISON, P. The analysis of semigroups of multirelational systems. J. Mathematical Psychology 25, 87-117. (1982).
24. PICKERT, A. Bemerkungen zum homomorphie-begriff. Mathematische Zeitschrift 53. (1950).
25. PICKETT, H. Homomorphisms and subalgebras of multialgebras. Pacific J. of Mathematics 21, 327-342. (1967).
26. TOPENTCHAROV, V.V. Composition gènèrale des relations. Algebra Universalis 30, 119-139. (1993).
27. WALICKI, M. and BROY, M. Structured specifications and implementation of nondeterministic data types. Nordic Journal of Computing 2, 358-395. (1995).
28. WALICKI, M. and MELDAL, S. Multialgebras, power algebras and complete calculi of identities and inclusions. LNCS vol. 906, Springer. (1995).
29. WAHCKI, M. and MELDAL, S. Algebraic approaches to nondeterminism - an overview. ACM Computing Surveys, vol. 29, no. 1 (1997).