Pages that link to "Item:Q1085969"

The following pages link to On the existence of free models in abstract algebraic institutions (Q1085969):

Displayed 16 items.

• An institution-independent proof of the Robinson consistency theorem (Q878156) ‎ (← links)
• An institution-independent proof of the Beth definability theorem (Q995670) ‎ (← links)
• On observational equivalence and algebraic specification (Q1089796) ‎ (← links)
• Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) ‎ (← links)
• Quasi-varieties in abstract algebraic institutions (Q1091132) ‎ (← links)
• Specifications in an arbitrary institution (Q1108775) ‎ (← links)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) ‎ (← links)
• May I borrow your logic? (Transporting logical structures along maps) (Q1391728) ‎ (← links)
• Relating CASL with other specification languages: the institution level. (Q1853458) ‎ (← links)
• Observational logic, constructor-based logic, and their duality. (Q1874280) ‎ (← links)
• Interpolation in Grothendieck institutions (Q1884940) ‎ (← links)
• Category-based modularisation for equational logic programming (Q1901708) ‎ (← links)
• Algebraic-coalgebraic specification in CoCASL (Q2369034) ‎ (← links)
• Ultraproducts and possible worlds semantics in institutions (Q2373712) ‎ (← links)
• Interpolation and compactness in categories of pre-institutions (Q4715675) ‎ (← links)
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) ‎ (← links)