Pages that link to "Item:Q1881267"
From MaRDI portal
The following pages link to Theory and applications of inverting functions as folds (Q1881267):
Displaying 8 items.
- Programming from metaphorisms (Q1683699) (← links)
- Merging hierarchically-structured documents in workflow systems (Q2873660) (← links)
- Lambek and Moser revisited (Q3315934) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Longest segment of balanced parentheses: an exercise in program inversion in a segment problem (Q5020908) (← links)
- Logic Based Program Synthesis and Transformation (Q5713936) (← links)
- Inversion of real-valued functions and applications (Q5749867) (← links)