Proceedings 24th International Workshop on Unification
Logic in Computer Science
2010-12-22 v1 Programming Languages
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).
Keywords
Cite
@article{arxiv.1012.4554,
title = {Proceedings 24th International Workshop on Unification},
author = {Maribel Fernandez},
journal= {arXiv preprint arXiv:1012.4554},
year = {2010}
}