C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Termination Problem for Probabilistic Higher-Order Recursive Programs.
Naoki Kobayashi
Ugo Dal Lago
Charles Grellois
Published in:
LICS (2019)
Keyphrases
</>
higher order
recursive programs
program synthesis
probabilistic model
logic programs
transformation rules
pairwise
data driven
database