The following pages link to (Q3961629):
Displayed 11 items.
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- A presentation of topoi as algebraic relative to categories or graphs (Q1052452) (← links)
- Functorial semantics and HSP type theorems (Q1319054) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- (Q3337621) (← links)
- (Q3532317) (← links)
- (Q3797358) (← links)
- (Q4029347) (← links)
- (Q4362079) (← links)
- (Q4675787) (← links)