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
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
1 Diagrammatic Inference – Dominique Duval - 710
Scetches and Specifications User'S Gude -- First . . . – Dominique Duval, Christian Lair - 2000
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
c ○ 2009 Birkhäuser Verlag Basel/Switzerland What is a Logic Translation? In memoriam – Joseph Goguen, Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki
12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998