Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories.

Victor Malyshkin

Browse the full SoMeT paper archive.