Pages that link to "Item:Q2757101"
From MaRDI portal
The following pages link to Inductive graphs and functional graph algorithms (Q2757101):
Displaying 9 items.
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings (Q2915140) (← links)
- (Q4252035) (← links)
- (Q5015379) (← links)
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing (Q5063249) (← links)
- A computational model for generic graph functions (Q5096281) (← links)
- A functional approach to the representation of graphs (Q5932078) (← links)
- Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data (Q6535521) (← links)