C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A calculus of branching processes.
Thomas Ehrhard
Jean Krivine
Ying Jiang
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
branch and bound
search tree
website
case study
search algorithm
artificial neural networks
evolutionary algorithm
automated deduction
provably correct
computer algebra