Sign in
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.
José Meseguer
Stephen Skeirik
Published in:
WRLA@ETAPS (2022)
Keyphrases
</>
equational theories
theorem proving
social networks
artificial neural networks
computer programs
static analysis
evolutionary algorithm
image restoration
convergence rate
conditional probabilities
initial conditions
faster convergence