Modal μ-Calculus for Free in Agda.

Ivan Todorov Casper Bach Poulsen

Published in: TyDe@ICFP (2024)

Keyphrases

transition systems
modal logic
video sequences
image processing
nonmonotonic logics
real time
neural network
information retrieval
case study
evolutionary algorithm
automated deduction
algebraic structure