History-Dependent Nominal μ-Calculus.

Clovis Eberhart Bartek Klin

Published in: LICS (2019)

Keyphrases

computer vision
real time
neural network
search algorithm
algebraic structure
real world
data mining
feature selection
image processing
multi agent systems
historical information
automated theorem proving
automated deduction