Synthesizing Functions from Relations in Leon


Editor(s):
Proietti, M
Seki, H
Published in:
Logic-Based Program Synthesis And Transformation (Lopstr 2014), 8981
Presented at:
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Univ Kent, Canterbury, ENGLAND, SEP 09-11, 2014
Year:
2015
Publisher:
Berlin, Springer-Verlag Berlin
ISSN:
0302-9743
ISBN:
978-3-319-17822-6
978-3-319-17821-9
Laboratories:




 Record created 2015-12-02, last modified 2018-09-13


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)