Proceedings Twelfth International Workshop on Computing with Terms and Graphs
Logic in Computer Science
2023-04-04 v2
Abstract
The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a one-day satellite event of the conference FSCD 2022 (Formal Structures of Computation and Deduction 2020, August 2-5).
Keywords
Cite
@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}
}