Synthesizing Functions from Relations in Leon
2015
Details
Title
Synthesizing Functions from Relations in Leon
Author(s)
Kuncak, Viktor ; Kneuss, Etienne ; Koukoutos, Emmanouil
Published in
Logic-Based Program Synthesis And Transformation (Lopstr 2014)
Pagination
1
Editor(s)
Series
Lecture Notes in Computer Science
Volume
8981
Conference
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Univ Kent, Canterbury, ENGLAND, SEP 09-11, 2014
Date
2015
Publisher
Berlin, Springer-Verlag Berlin
ISSN
0302-9743
ISBN
978-3-319-17822-6
978-3-319-17821-9
978-3-319-17821-9
Other identifier(s)
View record in Web of Science
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2015-12-02