Presburger Constraints in Trees

Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo. Presburger Constraints in Trees. Computación y Sistemas, 24(1), 2020. [doi]

Authors

Everardo Bárcenas

This author has not been identified. Look up 'Everardo Bárcenas' in Google

Edgard Benítez-Guerrero

This author has not been identified. Look up 'Edgard Benítez-Guerrero' in Google

Jesús Lavalle

This author has not been identified. Look up 'Jesús Lavalle' in Google

Guillermo Molero-Castillo

This author has not been identified. Look up 'Guillermo Molero-Castillo' in Google