Proceedings 24th International Workshop on Unification
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).
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2010
- DOI:
- 10.48550/arXiv.1012.4554
- arXiv:
- arXiv:1012.4554
- Bibcode:
- 2010arXiv1012.4554F
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages
- E-Print:
- EPTCS 42, 2010