VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Conference
Publications
Publications
related documents
Quantified Constraint Satisfaction on Monoids
Conference Proceeding