The following pages link to (Q4362967):
Displaying 8 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- Logic of multicomponent systems and a combinatorial model of causal relationships (Q1121867) (← links)
- Separating systems of conjunctions. (Q1130118) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900834) (← links)