|
2
|
Sketches: Outline with References
– Charles Wells
- 1994
|
|
2
|
Proving Semantical Equivalence of Data Specifications
– Frank Piessens, Eric Steegmans
- 2005
|
|
|
GRAPH-BASED LOGIC AND SKETCHES II: FINITE-PRODUCT CATEGORIES AND EQUATIONAL LOGIC
– Preliminary Report, Atish Bagchi, Charles Wells
- 1996
|
|
|
Some Suggestions on Mathematics Relevant to the Database Theory
– Zinovy Diskin, Boris Cadish
|
|
4
|
On the Role of Category Theory in the Area of Algebraic Specifications
– H. Ehrig, M. Große-Rhode, U. Wolter
- 1996
|
|
|
Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design
– Zinovy Diskin, Zinovy Diskin
- 1997
|
|
|
Scetches and Specifications User'S Gude -- First . . .
– Dominique Duval, Christian Lair
- 2000
|
|
1
|
Diagrammatic Inference
– Dominique Duval
- 710
|
|
|
Accessible categories: The foundations of categorical model theory,
– F-s D. Fremlin, S. Shelah, Pointwise Compact, Functions Manuscript, G-g-m-s N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Tl M. Talagr, Amer J. Math
|
|
|
Graph-Based Logic snd Sketches II: Finite-Product Categories and Equational Logic
– Atish Bagchi, Charles Wells
- 1997
|
|
5
|
Representations, Hierarchies, and Graphs of Institutions
– Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov
- 1996
|
|
1
|
2-Categorical Specification of Partial Algebras
– Martin Große-Rhode, Uwe Wolter
- 1992
|
|
7
|
Towards Semantics of Self-Adaptive Software
– Dusko Pavlovic
- 2000
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
|
1 Reflections on a categorical foundations of mathematics
– J. Lambek, P. J. Scott
|
|
1
|
Kan Extensions of Institutions
– Grigore Rosu
|
|
12
|
Categorical Term Rewriting: Monads and Modularity
– Christoph Lüth
- 1998
|
|
6
|
Lax Naturality Through Enrichment
– Yoshiki Kinoshita, John Power
- 1995
|
|
|
/ Towards Soft Typing in Computer Algebra
– Dominique Duval, Christian Lair, Dominique Duval, Christian Lair, Dominique Duval, Christian Lair
- 1998
|
