Characterising Brouwer's continuity by bar recursion on moduli of continuity.

Makoto Fujiwara Tatsuji Kawai

Published in: Arch. Math. Log. (2021)

Keyphrases

data sets
image segmentation
natural language
relational databases
evolutionary algorithm
color images
deductive databases