The following pages link to (Q4707743):
Displaying 5 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Software tools for automation of parallel programming on the basis of algebra of algorithms (Q895102) (← links)
- Using computer algebra techniques for the specification, verification and synthesis of recursive programs (Q1025311) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)