第十二届术语与图计算国际研讨会会议录
计算机科学中的逻辑
2023-04-04 v2
摘要
TERMGRAPH 2022 研讨会于 2022 年 8 月 1 日在以色列海法 Technion 举行，隶属 FLoC 2022（联合逻辑会议 2022，7 月 31 日–8 月 12 日）的 Pre-FLoC 研讨会单元（7 月 31 日–8 月 1 日）。因此，TERMGRAPH 2022 是会议 FSCD 2022（计算与演绎的形式结构 2020，8 月 2 日–5 日）的一日卫星活动。
引用
@article{arxiv.2303.14219,
title = {Proceedings Twelfth International Workshop on Computing with Terms and Graphs},
author = {Clemens Grabmayer},
journal= {arXiv preprint arXiv:2303.14219},
year = {2023}
}