A Relatively Complete Program Logic for Effectful Branching.

Noam Zilberstein

Published in: CoRR (2024)

Keyphrases

search tree
automated reasoning
functional programs
database
predicate logic
multi valued
modal logic
databases
test cases
logic programming
lower bound
computer programs
search algorithm
artificial intelligence
classical logic
program execution
logical representation
data sets