On Dynamic Topological Logic of the Real Line.

Maria Nogin Aleksey Nogin

Published in: J. Log. Comput. (2008)

Keyphrases

real life
dynamically changing
data sets
real world
asynchronous circuits
database
real time
machine learning
website
multi agent
probability theory
multi valued
predicate logic