Equational properties of iterative monads.

Jirí Adámek Stefan Milius Jiri Velebil

Published in: Inf. Comput. (2010)

Keyphrases

search engine
theorem proving
data sets
artificial intelligence
image segmentation
multiscale
computational complexity
expert systems
rough sets
topological properties