Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.

Daniel Hirschkoff Guilhem Jaber Enguerrand Prebet

Published in: FoSSaCS (2023)

Keyphrases

contextual knowledge
contextual information
machine learning
contextual factors
context aware
real time
neural network
genetic algorithm
learning algorithm
automated deduction
computer algebra