A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof.

Allan van Hulst

Published in: CoRR (2021)

Keyphrases

provably correct
inference rules
theorem proving
multiscale
video sequences
facial expressions
computer vision
search algorithm
evolutionary algorithm
school children