Login / Signup
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.
Michael Benedikt
Cécilia Pradic
Christoph Wernhard
Published in:
Log. Methods Comput. Sci. (2024)
Keyphrases
</>
high level
probabilistic model
special case