Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Chase Norman
Publications
Program Synthesis in Saturation
Petra Hozzová
,
Laura Kovács
,
Chase Norman
and
Andrei Voronkov
EasyChair Preprint 10223
Keyphrases
program synthesis
,
saturation
,
superposition
,
theorem proving
.
Copyright © 2012-2024 easychair.org. All rights reserved.