Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Infoscience
English
French
Log In
Log in with EPFL account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Synthesizing Functions from Relations in Leon
conference paper
Synthesizing Functions from Relations in Leon
Kuncak, Viktor
•
Kneuss, Etienne
•
Koukoutos, Emmanouil
Proietti, M
•
Seki, H
2015
Logic-Based Program Synthesis And Transformation (Lopstr 2014)
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
Details
Metrics
