HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Higher-Order Positive Set Constraints

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03202062
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, April 19, 2021 - 2:58:12 PM
Last modification on : Tuesday, December 14, 2021 - 3:53:25 AM

Identifiers

  • HAL Id : hal-03202062, version 1

Citation

Jean Goubault-Larrecq. Higher-Order Positive Set Constraints. 16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.473-489. ⟨hal-03202062⟩

Share

Metrics

Record views

5