Login / Signup
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.
David N. Jansen
Xinxin Liu
Published in:
A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
</>
branch and bound
theorem prover
neural network
upper bound
socio technical
relative entropy
information systems
case study
optimal solution
search tree
kullback leibler
automated theorem proving
natural deduction
geometry theorem proving