TALAL HAMZA MAGHRABI2022-06-022022-06-025976https://drepo.sdl.edu.sa/handle/20.500.14154/60736en-USTHE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS.Thesis