Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference Horizons of the Mind
Citation
de Boer, F.S, & Gabbrielli, M. (2014). Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs. In Proceedings of Horizons of the Mind 2014 (0). Springer.