Analysing the CHR Implementation of Union-Find

Tom Schrijvers, Thom W. Frühwirth. Analysing the CHR Implementation of Union-Find. In Armin Wolf, Thom W. Frühwirth, Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Volume 2005-01 of Ulmer Informatik-Berichte, pages 135-146, Universität Ulm, Germany, 2005.

Authors

Tom Schrijvers

Identified as Tom Schrijvers

Thom W. Frühwirth

This author has not been identified. Look up 'Thom W. Frühwirth' in Google