Haar measure and integral logic.

Karim Khanaki Massoud Amini

Published in: Math. Log. Q. (2012)

Keyphrases

distance measure
predicate logic
information theory
asynchronous circuits
similarity measure
multiresolution
logic programming
high frequency
modal logic
transform domain
wavelet decomposition
logical framework