Decidability properties for fragments of CHR

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers. Decidability properties for fragments of CHR. TPLP, 10(4-6):611-626, 2010. [doi]

Authors

Maurizio Gabbrielli

This author has not been identified. Look up 'Maurizio Gabbrielli' in Google

Jacopo Mauro

This author has not been identified. Look up 'Jacopo Mauro' in Google

Maria Chiara Meo

This author has not been identified. Look up 'Maria Chiara Meo' in Google

Jon Sneyers

This author has not been identified. It may be one of the following persons: Look up 'Jon Sneyers' in Google