Proceedings Twelfth International Workshop on Computing with Terms and Graphs

03/24/2023
by   Clemens Grabmayer, et al.
0

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).

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset