Closure via functional dependence simplification

Angel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera. Closure via functional dependence simplification. Int. J. Comput. Math., 89(4):510-526, 2012. [doi]

Authors

Angel Mora

This author has not been identified. Look up 'Angel Mora' in Google

Pablo Cordero

This author has not been identified. Look up 'Pablo Cordero' in Google

Manuel Enciso

This author has not been identified. Look up 'Manuel Enciso' in Google

Inmaculada Fortes

This author has not been identified. Look up 'Inmaculada Fortes' in Google

Gabriel Aguilera

This author has not been identified. Look up 'Gabriel Aguilera' in Google