Pages that link to "Item:Q4383701"
From MaRDI portal
The following pages link to Representability and program construction within fork algebras (Q4383701):
Displaying 6 items.
- A short proof of representability of fork algebras (Q1389659) (← links)
- Algorithms and proofs inheritance in the FOC language (Q1868513) (← links)
- (Q3146903) (← links)
- Fork algebraic datatypes (Q4210766) (← links)
- (Q4381704) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)