Symbolic Analysis of Maude Theories with Narval.

María Alpuente Demis Ballis Santiago Escobar Julia Sapiña

Published in: CoRR (2019)

Keyphrases

quantitative analysis
image analysis
real time
machine learning
artificial intelligence
high level
special case
statistical analysis
theorem proving
automatic analysis