Pages that link to "Item:Q1389659"
From MaRDI portal
The following pages link to A short proof of representability of fork algebras (Q1389659):
Displaying 5 items.
- On finite and infinite fork algebras and their relational reducts (Q2735812) (← links)
- (Q4204137) (← links)
- Strong representability of fork algebras, a set theoretic foundation (Q4340926) (← links)
- Representability and program construction within fork algebras (Q4383701) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)