The following pages link to KIDS (Q27330):
Displaying 11 items.
- On methods for safe introduction of operations (Q293132) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Linear congruence equations for the solutions of the \(N\)-queens problem (Q1197990) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Fiat: deductive synthesis of abstract data types in a proof assistant (Q2819861) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- (Q3416408) (← links)
