Pages that link to "Item:Q1183597"

The following pages link to Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597):

Displayed 31 items.

• Foundations for structuring behavioural specifications (Q406465) ‎ (← links)
• An axiomatic approach to structuring specifications (Q428861) ‎ (← links)
• On the algebra of structured specifications (Q549182) ‎ (← links)
• Structural induction in institutions (Q719243) ‎ (← links)
• A categorical study on the finiteness of specifications (Q975404) ‎ (← links)
• A 2-categorial generalization of the concept of institution (Q993499) ‎ (← links)
• From static to dynamic abstract data-types: An institution transformation (Q1285655) ‎ (← links)
• Structured theory presentations and logic representations (Q1326777) ‎ (← links)
• Functorial theory of parameterized specifications in a general specification framework (Q1346622) ‎ (← links)
• Detecting equivalence of modular specifications with categorical diagrams (Q1583247) ‎ (← links)
• Logical foundations of CafeOBJ (Q1608919) ‎ (← links)
• Interpolation in Grothendieck institutions (Q1884940) ‎ (← links)
• Term charters (Q2185890) ‎ (← links)
• On fuzzification of topological categories (Q2351594) ‎ (← links)
• Category localization semantics for specification refinements (Q2385430) ‎ (← links)
• Types from Frames as Finite Automata (Q2835042) ‎ (← links)
• Concrete Process Categories (Q2841311) ‎ (← links)
• Paths and Simulations (Q2842830) ‎ (← links)
• Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories (Q2864378) ‎ (← links)
• Interpolation for predefined types (Q3225735) ‎ (← links)
• (Q4510453) ‎ (← links)
• (Q4512408) ‎ (← links)
• (Q4525557) ‎ (← links)
• Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) ‎ (← links)
• Logic representation in LF (Q5096264) ‎ (← links)
• Detecting isomorphisms of modular specifications with diagrams (Q5096385) ‎ (← links)
• System Consequence (Q5190975) ‎ (← links)
• Institutions for OCL-Like Expression Languages (Q5256349) ‎ (← links)
• Parchments for CafeOBJ Logics (Q5403068) ‎ (← links)
• (Q6153331) ‎ (← links)
• Partialising institutions (Q6185812) ‎ (← links)