Equational Properties of Iteration in Algebraically Complete Categories.

Zoltán Ésik Anna Labella

Published in: MFCS (1996)

Keyphrases

desirable properties
structural properties
equational theories
real time
knowledge base
objective function
algebraic properties
database
data sets
multiscale
object recognition
theorem proving