Showing 1 - 2 results of 2 for search 'Wernhard, C', query time: 0.02s
Refine Results
-
1
Synthesizing nested relational queries from implicit specifications by Benedikt, MA, Pradic, C, Wernhard, C
Published 2023Conference item -
2
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory by Benedikt, M, Pradic, C, Wernhard, C
Published 2024Journal article