The following pages link to (Q3759011):
Displayed 4 items.
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)