Publisher
Springer International Publishing
Reference14 articles.
1. Lecture Notes in Computer Science;B Cadish,1996
2. Claßen, I., Große-Rhode, M., Wolter, U.: Categorical concepts for parameterized partial specifications. Math. Struct. Comput. Sci. 5(2), 153–188 (1995). https://doi.org/10.1017/S0960129500000700
3. Diskin, Z.: Databases as diagram algebras: specifying queries and views via the graph-based logic of sketches. Technical report 9602, Frame Inform Systems, Riga, Latvia (1996). http://www.cs.toronto.edu/zdiskin/Pubs/TR-9602.pdf
4. Diskin, Z.: Towards algebraic graph-based model theory for computer science. Bull. Symb. Log. 3, 144–145 (1997)
5. Diskin, Z., Cadish, B.: A graphical yet formalized framework for specifying view systems. In: First East-European Symposium on Advances in Databases and Information Systems, pp. 123–132. Nevsky Dialect (1997)