2000 character limit reached
Proceedings 24th International Workshop on Unification
Published 21 Dec 2010 in cs.LO and cs.PL | (1012.4554v1)
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).
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.