Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Pitts, A.M.: Categorical Logic. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 5, pp. 39–123. Oxford University Press, Oxford (2001)
2. Walicki, M., Meldal, S.: Algebraic approaches to nondeterminism: An overview. ACM Computing Surveys 29, 30–81 (1997)
3. Colloquia Mathematica Societatis János Bolyai;H.J. Hoenke,1977
4. Ştefănescu, G.: Network Algebra. Springer, Heidelberg (2000)
5. Căzănescu, V.E., Ştefănescu, G.: Classes of finite relations as initial abstract data types II. Discrete Mathematics 126, 47–65 (1994)