Ns saturated and -Definable.

Stefan Hoffelner

Published in: J. Symb. Log. (2021)

Keyphrases

network simulator
first order logic
ad hoc networks
transitive closure
database
real time
mobile ad hoc networks
databases
neural network
data mining
machine learning
mobile devices
wireless sensor networks
routing protocol
situation calculus
approximation spaces