HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Eva Maria Wagner

Publications
Synthesis of Recursive Programs in Saturation
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner
EasyChair Preprint 12145

Keyphrases

induction, program synthesis, recursion, saturation, superposition, theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.