conference paper
Synthesizing Functions from Relations in Leon
Proietti, M
•
Seki, H
2015
Logic-Based Program Synthesis And Transformation (Lopstr 2014)
Type
conference paper
Web of Science ID
WOS:000361842100002
Editors
Proietti, M
•
Seki, H
Date Issued
2015
Publisher
Publisher place
Berlin
Published in
Logic-Based Program Synthesis And Transformation (Lopstr 2014)
ISBN of the book
978-3-319-17822-6
978-3-319-17821-9
Total of pages
1
Series title/Series vol.
Lecture Notes in Computer Science
Volume
8981
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
| Event name | Event place | Event date |
Univ Kent, Canterbury, ENGLAND | SEP 09-11, 2014 | |
Available on Infoscience
December 2, 2015
Use this identifier to reference this record