Boolean functions for finite-tree dependencies

Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill. Boolean functions for finite-tree dependencies. In Luís Moniz Pereira, Paulo Quaresma, editors, APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. pages 81-96, Departamento de Informática, Universidade de Évora, 2001. [doi]

Authors

Roberto Bagnara

This author has not been identified. Look up 'Roberto Bagnara' in Google

Enea Zaffanella

This author has not been identified. Look up 'Enea Zaffanella' in Google

Roberta Gori

This author has not been identified. Look up 'Roberta Gori' in Google

Patricia M. Hill

This author has not been identified. Look up 'Patricia M. Hill' in Google