An analysis of the Podelski-Rybalchenko termination theorem via bar recursion.

Stefano Berardi Paulo Oliva Silvia Steila

Published in: J. Log. Comput. (2019)

Keyphrases

data analysis
real time
genetic algorithm
databases
feature selection
e learning
face recognition
similarity measure
multi agent systems
control system
statistical analysis
complex objects
quantitative analysis