Prof. Dr. Yves Kodratoff: Completion of Re-write Systems and Program Synthesis from Specifications

Lecture
Events index