The following pages link to Search algorithms in type theory (Q1575934):
Displaying 5 items.
- Two algorithms in search of a type-system (Q733753) (← links)
- Combining preorder and postorder resolution in a satisfiability solver (Q2741518) (← links)
- Constructive membership predicates as index types (Q2866329) (← links)
- Formal Techniques for Deriving Binary Search Algorithms (Q3723690) (← links)
- (Q4934652) (← links)