A category theory approach to conceptual data modeling
E. Lippe, A. H. M. Ter Hofstede (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Categorical abstract data type (CADT)”
A category theory approach to conceptual data modeling
Deduction over graphs under constraints : a soundness and completeness theorem
Seyed-Kazem Lellahi, Nicolas Spyratos (1993)
Diagrammes
Similarity:
Entity-relationship-attribute designs and sketches.
Johnson, Michael, Rosebrugh, Robert, Wood, R.J. (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
An Introduction to Adjunction
Kosta Došen (1998)
Zbornik Radova
Similarity:
Categorical data-specifications.
Piessens, Frank, Steegmans, Eric (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Compositional characterization of observable program properties
B. Steffen, C. Barry Jay, M. Mendler (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Final dialgebras : from categories to allegories
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: