2000 character limit reached
Proceedings 24th International Workshop on Unification (1012.4554v1)
Published 21 Dec 2010 in cs.LO and cs.PL
Abstract: This volume contains selected papers presented at the 24th International Workshop on Unification, UNIF2010, which was held in Edinburgh on the 14th July 2010, as part of FLoC 2010 (Federated Logic Conferences).