Scifaro

中文

第24届国际统一化研讨会论文集

计算机科学中的逻辑 2010-12-22 v1 编程语言

作者: Maribel Fernandez

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本卷收录了2010年7月14日在爱丁堡举行的第24届国际统一化研讨会(UNIF2010)上发表的论文选集，该研讨会是FLoC 2010(联邦逻辑会议)的一部分。

关键词

统一化研讨会论文集 UNIF 2010 FLoC 2010 自动推理

引用

@article{arxiv.1012.4554,
  title  = {Proceedings 24th International Workshop on Unification},
  author = {Maribel Fernandez},
  journal= {arXiv preprint arXiv:1012.4554},
  year   = {2010}
}