Pages that link to "Item:Q4340535"
From MaRDI portal
The following pages link to A Finite Axiomatization for Fork Algebras (Q4340535):
Displaying 10 items.
- Squares in fork arrow logic (Q1402582) (← links)
- The stable forking conjecture and generic structures (Q1407602) (← links)
- (Q3146903) (← links)
- (Q4204137) (← links)
- (Q4250071) (← links)
- (Q4381704) (← links)
- Some classes containing a fork algebra equivalent variety involving projections (Q4383700) (← links)
- (Q4870570) (← links)
- Layered map reasoning (Q4923516) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)