Graph-based logic and sketches (2008)

Cached

Download Links

by Atish Bagchi , Charles Wells
Citations:4 - 0 self

Active Bibliography

8 Graph-based logic and sketches I: The general framework. Available by web browser from http://www.cwru.edu/1/class/mans/math/pub/wells – Atish Bagchi, Charles Wells - 1996
2 Sketches: Outline with References – Charles Wells - 1994
2 Proving Semantical Equivalence of Data Specifications – Frank Piessens, Eric Steegmans - 2005
1 Diagrammatic Inference – Dominique Duval - 710
Scetches and Specifications User'S Gude -- First . . . – Dominique Duval, Christian Lair - 2000
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
9 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
/ Towards Soft Typing in Computer Algebra – Dominique Duval, Christian Lair, Dominique Duval, Christian Lair, Dominique Duval, Christian Lair - 1998
Scetches and Specifications . . . – Dominique Duval, Christian Lair - 2000
Mosaics for Specifications with Implicit State – Dominique Duval, Christian Lair - 2000
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