Convergence in formal topology: a unifying notion.

Francesco Ciraulo Maria Emilia Maietti Giovanni Sambin

Published in: J. Log. Anal. (2013)

Keyphrases

formal model
mathematical theory
digital topology
convergence rate
initial conditions
global convergence
model theoretic
information retrieval
formal language
convergence theorem
database
databases
formal methods
iterative algorithms