Undecidability through Fourier series.

Peter Buser Bruno Scarpellini

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

fourier series
description logics
discrete fourier transform
reconstruction method
feedback loop
probabilistic planning
circular harmonic
image processing
detection algorithm