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