Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
34 Relating CASL with Other Specification Languages: the Institution Level – Till Mossakowski - 2000
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
930 Categories for the Working Mathematician – S Mac Lane - 1971
168 General logics – José Meseguer - 1989
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
20 Grothendieck institutions. Applied Categorical Structures, 10(4):383–402, 2002. Preliminary version appeared as – Răzvan Diaconescu - 2000
103 Algebraic Semantics of Imperative Programs – Joseph A Goguen, Grant Malcolm - 1996
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
64 An introduction to algebraic semiotics, with applications to user interface design – J Goguen - 1999
26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
41 Institution-independent Model Theory – R Diaconescu - 2008
70 The logic of inexact concepts – J A Goguen - 1969
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
22 Quasi-Varieties in Abstract Algebraic Institutions – A Tarlecki - 1986
49 The transformation of experience in narrative syntax – William Labov - 1972