Graph-based logic and sketches (2008)

Cached

Download Links

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

Documents Related by Co-Citation

430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
397 Category Theory for Computing Science – M Barr, C Wells - 1990
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
1388 The Entity-Relationship Model: Toward a Unified View of Data – Peter Pin-shan Chen - 1976
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
21 Generalized sketches as a framework for completeness theorems – M Makkai
324 The Object-Oriented Database System Manifesto – Malcolm Atkinson, François Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
7 Towards algebraic graph-based model theory for computer science – Z Diskin - 1997
156 Why looking isn’t always seeing: readership skills and graphical programming – M Petre - 1995