Some results in the theory of effective program synthesis: learning by defective information

• Authors:

• G Schäfer

• Affiliations:

• -

• Venue:
• Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85
• Year:
• 1986