Lawvere-Tierney topologies for computability theorists.

Takayuki Kihara

Published in: CoRR (2021)

Keyphrases

dynamical systems
control theory
network topologies
information systems
spatio temporal
real time
recent advances
neural network
computer science
search space
denoising
higher order
sufficient conditions
wireless networks